https://github.com/jaycech3n/Isabelle-HoTT
Revision 2feb56660700af107abb5a28a7120052ac405518 authored by Josh Chen on 31 January 2021, 02:54:51 UTC, committed by Josh Chen on 31 January 2021, 02:54:51 UTC
1 parent aff3d43
Tip revision: 2feb56660700af107abb5a28a7120052ac405518 authored by Josh Chen on 31 January 2021, 02:54:51 UTC
rename things + some small changes
rename things + some small changes
Tip revision: 2feb566
File | Mode | Size |
---|---|---|
.github | ||
hott | ||
mltt | ||
.gitignore | -rw-r--r-- | 27 bytes |
LICENSE | -rw-r--r-- | 9.8 KB |
README.md | -rw-r--r-- | 2.1 KB |
ROOT | -rw-r--r-- | 821 bytes |
Computing file changes ...