https://github.com/jaycech3n/Isabelle-HoTT
Revision 2b0e14b16dcef0e829da95800b3c0af1975bb1ce authored by Josh Chen on 28 July 2020, 12:24:22 UTC, committed by Josh Chen on 28 July 2020, 12:24:22 UTC
1 parent 6b27aa5
Tip revision: 2b0e14b16dcef0e829da95800b3c0af1975bb1ce authored by Josh Chen on 28 July 2020, 12:24:22 UTC
small improvement
small improvement
Tip revision: 2b0e14b
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-- | 869 bytes |
Computing file changes ...