Gitstar Ranking

input-output-hk / agda

Agda is a dependently typed programming language / interactive theorem prover. - View it on GitHub
https://wiki.portal.chalmers.se/agda/pmwiki.php
Star
0
Rank
11265897