Skip to content

TLA+ pricing

1 plan read from lamport.azurewebsites.net

Visit lamport.azurewebsites.net

TLA+Free Open-source specification language and tools · command-line tools require Java 11+ Read 9 Oct 2026 · github.com

In short

TLA+ has a free plan (TLA+).

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