Pricing
TLA+ pricing
As lamport.azurewebsites.net lists them, read 9 Oct 2026. The maker's own page has the final word.
| Plan | Billed and limits | Price |
|---|---|---|
| TLA+ | Open-source specification language and tools · command-line tools require Java 11+ | Free |
From github.com.