https://github.com/jaycech3n/Isabelle-HoTT
Revision 2570ac513160e93d7dde32cecaccc4dfb9398e41 authored by Josh Chen on 01 February 2021, 13:03:19 UTC, committed by Josh Chen on 01 February 2021, 13:03:19 UTC
1 parent 2feb566
Tip revision: 2570ac513160e93d7dde32cecaccc4dfb9398e41 authored by Josh Chen on 01 February 2021, 13:03:19 UTC
update readme
update readme
Tip revision: 2570ac5
File | Mode | Size |
---|---|---|
.github | ||
hott | ||
mltt | ||
.gitignore | -rw-r--r-- | 27 bytes |
LICENSE | -rw-r--r-- | 9.8 KB |
README.md | -rw-r--r-- | 1.8 KB |
ROOT | -rw-r--r-- | 821 bytes |
Computing file changes ...