TLA+ Pricing in 2026
Every plan TLA+ publishes, with the page and date we read it from. Prices we could not find on TLA+'s own site are left blank, never guessed.
| Plan | Price | Billing | Limits | Source |
|---|---|---|---|---|
| TLA+ | Free | Open-source specification language and tools · command-line tools require Java 11+ | github.com |