What powers lean-lang.org?
Last seen Jun 2026 · 31 technologies across 16 categories
Analytics
CDN
CMS
Ecommerce
Font scripts
JavaScript frameworks
JavaScript graphics
JavaScript libraries
Miscellaneous
PaaS
Performance
Programming languages
Rich text editors
Security
UI frameworks
Web servers
Top search keywords
| Keyword | Position | Est. monthly visits |
|---|---|---|
| mathematics for ai | #60 | 350 |
| lean software | #2 | 310 |
| lean theorem prover | #1 | 120 |
| lean programming | #1 | 120 |
| mean theorem | #61 | 85 |
| lean proofs | #1 | 52 |
| fro | #21 | 51 |
| sufficed definition | #77 | 47 |
| android def | #58 | 38 |
| lang tools | #40 | 38 |
| induction def | #85 | 38 |
| functional programming in lean | #1 | 33 |
| lang | #57 | 31 |
| lean-tos | #46 | 29 |
| lang lang | #55 | 25 |
| lean manufacturing systems | #92 | 25 |
| fermat's last theorem | #66 | 25 |
| math proofs geometry | #68 | 23 |
| functional programming | #16 | 23 |
| ocaml | #82 | 21 |
| lean structure | #1 | 21 |
| subtype | #9 | 18 |
| o factorial | #48 | 17 |
| merkin meaning | #81 | 17 |
| define merkin | #75 | 17 |
The site's top keywords in Google (US), with the visits each one is estimated to bring per month.
Top backlinks
Top links pointing at the site, one per source domain, strongest first. The anchor text opens the page carrying the link.
Audience
- 76% desktop
- 21% phone
- 2% tablet
Hong Kong SAR China
United States
India
Japan
Germany
United Kingdom
Countries where the site has Chrome traffic, strongest markets first.
Open Page Rank
6.54 / 10 · ranked #73,108 of all domains
297 referring domains · OpenPageRank
Search traffic
2,400 est. monthly organic visits (US)
1,580 keywords in Google's top 30
Core Web Vitals
| LCP | 1 s |
| INP | 50 ms |
| CLS | 0 |
| TTFB | 500 ms |
Real user p75, Chrome UX Report, Jun 2026.
Page
- Language: English
- CDN: Netlify
- Weight: 1.8 MB · 60 requests
- Structured data: OpenGraph, Twitter Cards
Homepage as crawled by the HTTP Archive, Jul 2026.
Subdomains
| Host | Techs |
|---|---|
| lean-lang.org | 12 |
| www.lean-lang.org | 12 |
| live.lean-lang.org | 8 |
| reservoir.lean-lang.org | 7 |
| loogle.lean-lang.org | 4 |
| docs.lean-lang.org | 2 |
Full technology history →
Report an incorrect detection