https://github.com/HoTT/HoTT
History
Tip revision: abb65167164074bfefc75c198a6d9be3c0948540 authored by Andrej Bauer on 18 September 2012, 18:16:11 UTC
Merge pull request #15 from andrejbauer/master
Tip revision: abb6516
File Mode Size
Coq
.gitignore -rw-r--r-- 320 bytes
README.markdown -rw-r--r-- 493 bytes

README.markdown

back to top