piyush-kurur / agda Goto Github PK
View Code? Open in Web Editor NEWThis project forked from mason-stewart/agda
Agda is a dependently typed programming language / interactive theorem prover. Bug tracker: https://code.google.com/p/agda/issues/list
License: Other