Specification Language
| Tool | Description |
|---|---|
| cur | A language with static dependent-types and dynamic types, type annotations and parentheses, theorem … |
| QEA | [ Not Maintained Since 2019 ] Quantified Event Automata (QEA) is a specification formalism … |
| Agda 2 | Agda is a dependently typed programming language / interactive theorem prover. |