https://github.com/jaycech3n/Isabelle-HoTT
Revision e513fc2958133e3a00c06ebcd1214741843acf08 authored by Josh Chen on 03 June 2020, 11:09:30 UTC, committed by Josh Chen on 03 June 2020, 11:09:30 UTC
2. Small reformulations of rules
3. Bool
1 parent 8c0205a
History
Tip revision: e513fc2958133e3a00c06ebcd1214741843acf08 authored by Josh Chen on 03 June 2020, 11:09:30 UTC
1. Type information context data
Tip revision: e513fc2
File Mode Size
hott
spartan
.gitignore -rw-r--r-- 20 bytes
LICENSE -rw-r--r-- 9.7 KB
README.md -rw-r--r-- 1.7 KB
ROOT -rw-r--r-- 956 bytes
TODO.md -rw-r--r-- 602 bytes

README.md

back to top