andrejtokarcik / agda Goto Github PK
View Code? Open in Web Editor NEWThis project forked from agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
Home Page: https://wiki.portal.chalmers.se/agda/pmwiki.php
License: Other