Agda vs TLA+
Agda
wiki.portal.chalmers.seTLA+
lamport.azurewebsites.netSide by side
| Figure | Agda | TLA+ |
|---|---|---|
| Price from | — | Free |
| Free plan | — | Yes |
| Free trial | — | — |
| Open source | — | — |
| Web | Yes | — |
| Windows | Yes | Yes |
| macOS | Yes | Yes |
| Linux | Yes | Yes |
| Self-hosted | Yes | — |
| Plans published | 0 | 1 |
| Spec score · Formal Verification Tools | 8.1 (#6) | 7.5 (#24) |
| Support | The Agda wiki directs users to ask questions on the Agda mailing list or Agda Zulip server. | The TLA+ Foundation directs technical questions and issues to the appropriate GitHub issue tracker. |
Plans
In their own words
TLA+
TLA+ has no write-up on Specifiction yet; its figures are above.