ulidtko / agda-pythagoras Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ikedaisuke/pythagoras
A proof of Pythagoras's theorem in Agda2 (from the original proof by Thierry Coquand)
Home Page: http://madscientist.jp/~ikegami/diary/