GuillaumeGen/agda
Agda is a dependently typed programming language / interactive theorem prover.
HaskellNOASSERTION
Stargazers
No one’s star this repository yet.
Agda is a dependently typed programming language / interactive theorem prover.
HaskellNOASSERTION
No one’s star this repository yet.