At a Glance
| Applications | Specification Language Theorem Prover |
| Inputs | Cur |
| Interfaces | CLI |
| Licenses | BSD-2-Clause |
| Maintenance | Actively Maintained |
Description
A language with static dependent-types and dynamic types, type annotations and parentheses, theorem proving and meta-programming.