Information about the website lean-lang.org.
We took the latest snapshot and metadata from this website at 2026-07-30 07:24:03.
Link to lean-lang.org ยท Shareable URL
| Site title: | Lean Programming Language |
|---|---|
| Site description: | Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code. |
| Site keywords: | No data |
| Thumbnail: |
|
| URL: | https://lean-lang.org/ |
| HTTP status: | 200 |
| Primary IP: | 75.2.60.5 |
| HTTP server: | Netlify |
| Redirect hops: | 0 |
| TTFB: | 92 ms |
| Total load: | 106 ms |
| TLS expiry: | 2026-09-22 07:03:47 |
| Robots status: | 404 |
| Canonical URL: | No data |
| Sitemap: | No data |
| Hreflang: | No data |
| OpenGraph title: | Lean Programming Language |
| JS rendered title: | No data |
| Tech detected: | No data |
| Security headers: | strict-transport-security |
| Anti-bot detected: | No |
| Uptime trend (20): | No data |
| Whois: | Registrar: Squarespace Domains II LLC | Expires: 2026-09-05T16:30:12Z | Domain: lean-lang.org | Source: rdap |