At a Glance
| Applications | Theorem Prover |
| Interfaces | CLI IDE Integration |
| Licenses | MIT |
| Maintenance | Actively Maintained |
Description
A proof assistant designed for formalizing math and type-directed programming.
| Applications | Theorem Prover |
| Interfaces | CLI IDE Integration |
| Licenses | MIT |
| Maintenance | Actively Maintained |
A proof assistant designed for formalizing math and type-directed programming.