Skip to content

Why3 pricing

1 plan read from why3.org

Why3Free GNU Lesser General Public License version 2.1 with a special linking exception Read 10 Oct 2026 · why3.org

In short

Why3 has a free plan (Why3).

What the alternatives costAll alternatives →

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