At a Glance
| Applications | Theorem Prover |
| Interfaces | CLI |
| Licenses | BSD-3-Clause |
| Maintenance | Actively Maintained |
Description
Andromeda 2 is a proof checker for user-definable dependently-typed theories.
| Applications | Theorem Prover |
| Interfaces | CLI |
| Licenses | BSD-3-Clause |
| Maintenance | Actively Maintained |
Andromeda 2 is a proof checker for user-definable dependently-typed theories.