docs.lean-lang.org
docs.lean-lang.org is a live English-language website hosted on Amazon.com, Inc. (AS16509) in the United States, served by Netlify. cl0q first saw it on 2025-09-09 and last crawled it on 2026-07-02. It resolves to 13.52.188.95. Its favicon is fingerprinted by SHA-256, so you can find every other site that serves the same icon.
How the site describes itself:
Lean Programming Language
Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.
| Status | 200 OK — live & indexed by cl0q |
|---|---|
| First seen | 2025-09-09 |
| Last crawled | 2026-07-02 |
| IPv4 | 13.52.188.95 |
| IPv6 | 2600:1f1c:446:4900::258 |
| Network | AS16509 Amazon.com, Inc. · California |
| CNAME | lean-lang.netlify.app |
| Language | en |
| Server | Netlify |