Skip to content

Lean pricing

1 plan read from lean-lang.org

Visit lean-lang.org

Lean 4Free Open-source programming language and proof assistant · no paid plans stated Read 9 Oct 2026 · lean-lang.org

In short

Lean has a free plan (Lean 4).

What the alternatives costAll alternatives →

Tool	From	Free plan	Free trial
cvc5	—	Yes	No
Rocq	—	Yes	No
PVS	—	Yes	No
Agda	—	No	No
Alloy Analyzer	—	Yes	No
Boogie	—	Yes	No
CBMC	—	Yes	No
HOL4	—	Yes	No