lean-fro.org
FRO — Lean Lang
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-04-22 |
| Last crawled | 2026-06-14 |
| IPv4 | 75.2.60.5 |
| Network | AS16509 Amazon.com, Inc. · Washington |
| CNAME | lean-fro.org |
| Mail (MX) | aspmx.l.google.com.,alt1.aspmx.l.google.com.,alt2.aspmx.l.google.com.,alt4.aspmx.l.google.com.,alt3.aspmx.l.google.com. |
| Language | en |
| Server | Netlify |