https://github.com/jaycech3n/Isabelle-HoTT
Revision 02cfe2a3041273042e188cc0046fd845046e49d2 authored by Josh Chen on 29 May 2020, 17:58:29 UTC, committed by Josh Chen on 29 May 2020, 17:58:29 UTC
1 parent 484988b
History
Tip revision: 02cfe2a3041273042e188cc0046fd845046e49d2 authored by Josh Chen on 29 May 2020, 17:58:29 UTC
fix Pi congruence rule
Tip revision: 02cfe2a
File Mode Size
hott
spartan
.gitignore -rw-r--r-- 20 bytes
LICENSE -rw-r--r-- 9.7 KB
README.md -rw-r--r-- 1.3 KB
ROOT -rw-r--r-- 956 bytes
TODO.md -rw-r--r-- 602 bytes

README.md

back to top