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