https://github.com/jaycech3n/Isabelle-HoTT
Revision 2a78ddc733340a72351df09a12ce4fc695b93de7 authored by Josh Chen on 27 July 2020, 12:31:09 UTC, committed by Josh Chen on 27 July 2020, 12:31:09 UTC
1 parent 184b1d4
Tip revision: 2a78ddc733340a72351df09a12ce4fc695b93de7 authored by Josh Chen on 27 July 2020, 12:31:09 UTC
update .gitignore
update .gitignore
Tip revision: 2a78ddc
File | Mode | Size |
---|---|---|
.github | ||
hott | ||
spartan | ||
.gitignore | -rw-r--r-- | 21 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 ...