https://github.com/jaycech3n/Isabelle-HoTT
Revision 70fd3f72ef8f9cc01a071250d94e8c25ecb04c1d authored by Josh Chen on 02 August 2020, 14:44:47 UTC, committed by Josh Chen on 02 August 2020, 14:44:47 UTC
1 parent 77aa107
Tip revision: 70fd3f72ef8f9cc01a071250d94e8c25ecb04c1d authored by Josh Chen on 02 August 2020, 14:44:47 UTC
rename some theorems
rename some theorems
Tip revision: 70fd3f7
File | Mode | Size |
---|---|---|
.github | ||
hott | ||
spartan | ||
.gitignore | -rw-r--r-- | 27 bytes |
LICENSE | -rw-r--r-- | 9.7 KB |
README.md | -rw-r--r-- | 2.1 KB |
ROOT | -rw-r--r-- | 850 bytes |
Computing file changes ...