Lean pricing

Lean 4

Open-source programming language and proof assistant · no paid plans stated

Checked 9 Oct 2026