Website traffic
How much traffic does lean-lang.org get?
285.35K
+56.92%MoMEstimated monthly visits
308.18K205.45K102.73K0
Global rank
102,682
Country rank · United States
111,652
Category rank · Math
185
Average visit duration
01:54
Pages per visit
7.13
Bounce rate
43.85%
Domain age
3.1 years
Search share
52.2%
Sources
Where does lean-lang.org's traffic come from?
- Search52.2%
- Direct28.3%
- Referrals12.0%
- Social4.3%
- Generative AI2.4%
- Email0.8%
- Other0.0%
- Paid search0.0%
Regions
Which countries visit lean-lang.org?
- United States21.0%
- India10.5%
- Canada7.2%
- United Kingdom5.0%
- Germany4.8%
See how lean-lang.org compares with the most visited websites in the world, the fastest growing websites and sites gaining organic search traffic.
Search visibility
What keywords send traffic to lean-lang.org?
Keyword samples
Estimated visitsMonthly searchesVisits ÷ searches
- lean programming language6.38K14.82K43%
- lean math5.61K12.7K44%
- lean language4.01K8.01K50%
- leanBRAND3.47K169.99K2%
- lean 42.77K5.16K54%
Keyword rankings
Keyword rankings
86.4M
Search estimate
New 1 · Up 2
- Ranking keywords
- 12,400
- Landing pages
- 4
- Search competitors
- 4
- AI citations
- 2
PositionEstimated visits
- google#142M
- gmail#118.2M
- google maps#19.4M
- google drive#14.1M
Full keyword rankings are a Pro feature
Unlock ProSite profile
What does lean-lang.org show publicly?
- HTTP 200
- Hosting ASN
- DNSSEC
- HTTP
- 200
- Page size
- 214.6 KiB
- Hosting
- AMAZON-02 · AS16509
- TLS
- TLSv1.3 · 42 days
Page and SEO
- Final URL
- https://lean-lang.org/
- Title
- Lean Programming Language
- Description
- Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
- Cross-origin redirect
- No
- Word count
- 1,552
- Internal / external links
- 28 / 17
- Language
- en
- H1 / H2
- 4 / 11
- Images missing alt
- 0 / 18
- OG / Twitter
- OG · Twitter
Technology and tracking1 tracking
- Technology clues
- Netlify
- Tracking clues
- Plausible
- External script hosts
- cdn.jsdelivr.net · plausible.io
- Social links
- github.com · bsky.app · linkedin.com · x.com · github.com
- Server
- Netlify
- Security headers
- 1 / 6
- HSTS / CSP
- HSTS
Email and DNS security
- SPF
- Not found
- DMARC
- Not found
- DKIM selectors
- Not found
- IPv6
- No AAAA
- DNSSEC
- DNSKEY · AD
- Site verification TXT
- SOA
- ns-cloud-c1.googledomains.com
- NS
- ns-cloud-c1.googledomains.com. · ns-cloud-c2.googledomains.com. · ns-cloud-c3.googledomains.com. · 1 more
Hosting and networkAS16509
- A
- 75.2.60.5
- Hosting ASN
- AS16509 · 75.2.60.0/24
- Hosting organization
- AMAZON-02 - Amazon.com, Inc.
- Hosting country
- US
- BGP announcement
- Yes
- Reverse DNS
- acd89244c803f7181.awsglobalaccelerator.com
- TLS
- TLSv1.3 · Verified
- Certificate issuer
- YE1
- Certificate remaining
- 42 days
- Certificate SAN
- DNS:lean-lang.org · DNS:www.lean-lang.org
robots and AI crawlingHTTP 404
- Robots.txt
- 404
Well-known public paths
- Present / checked
- 0 / 5
Website information
When was lean-lang.org registered?
- Domain
- lean-lang.org
- Registration status
- Domain registered
- Registered
- 2023-09-05
- Registrar
- Squarespace Domains II LLC
- Expires
- 2027-09-05
- Domain age
- 3.1 years
- DNSSEC
- Yes
- Registry status
- client delete prohibited · client transfer prohibited
Similar sites
What sites are similar to lean-lang.org?
Website reports in the same category, with nearby monthly visits.
What's in this report
The report starts with a whole-site monthly visit estimate. Search visibility and public site facts follow when they exist.
- Website traffic is a modeled whole-site estimate, with a source, observation period and confidence.
- Search visibility is ranking keywords and search traffic, listed separately from whole-site visits.
- Missing or partial values stay marked in the report.