Pricing
Lean pricing
As lean-lang.org lists them, read 9 Oct 2026. The maker's own page has the final word.
| Plan | Billed and limits | Price |
|---|---|---|
| Lean 4 | Open-source programming language and proof assistant · no paid plans stated | Free |
From lean-lang.org.
Pricing
As lean-lang.org lists them, read 9 Oct 2026. The maker's own page has the final word.
| Plan | Billed and limits | Price |
|---|---|---|
| Lean 4 | Open-source programming language and proof assistant · no paid plans stated | Free |
From lean-lang.org.