Agda 2
At a Glance
| Applications | Specification Language Theorem Prover |
| Inputs | Agda |
| Interfaces | CLI |
| Licenses | MIT |
| Maintenance | Actively Maintained |
Description
Agda is a dependently typed programming language / interactive theorem prover.
| Applications | Specification Language Theorem Prover |
| Inputs | Agda |
| Interfaces | CLI |
| Licenses | MIT |
| Maintenance | Actively Maintained |
Agda is a dependently typed programming language / interactive theorem prover.