Third-party host
Websites loading from lean-lang.org
7 websites load from this host according to the stored source@if (Model.Total > HostModel.MaxSites) {
| # | Website | Rank | Loaded as | |
|---|---|---|---|---|
| 1 | pyrefly.org | 1,272,091 | connect | view source |
| 2 | willcrichton.net | 1,827,570 | connect | view source |
| 3 | quint.sh | 1,961,104 | connect | view source |
| 4 | learn-lean.pages.dev | connect | view source | |
| 5 | uw2026leanhackathon.github.io | connect | view source | |
| 6 | staging-dev-portal.netlify.app | connect | view source | |
| 7 | madlean-hub.web.app | connect | view source |
Questions
- Which websites load from lean-lang.org?
- The 7 sites listed on this page. A site is listed when its stored HTML has a script, iframe or stylesheet from the host, or one of its own scripts names the host in an absolute URL.
- Is lean-lang.org a third party for every site listed?
- Yes: a host under a site's own registrable domain is never recorded for that site, so every site here loads from lean-lang.org as a dependency outside its own domain.