https://github.com/jaycech3n/Isabelle-HoTT
Tip revision: 06f38e1bad882ec85cbfd89b74feef380c8bbd69 authored by Josh Chen on 28 June 2021, 12:34:31 UTC
begin refactoring Equivalence
begin refactoring Equivalence
Tip revision: 06f38e1
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.7 KB |
ROOT | -rw-r--r-- | 867 bytes |