Currently this repo contains a translation of Thierry Coquands proof of the irrationality of 2 from agda 1 to agda 2
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool