https://github.com/jaycech3n/Isabelle-HoTT
History
Tip revision: 1928649fd490d50d1e05fef6cbb22ca38d81cbe5 authored by Josh Chen on 17 April 2021, 16:55:04 UTC
update readme
Tip revision: 1928649
File Mode Size
Bool_HoTT.thy -rw-r--r-- 67 bytes
Equivalence.thy -rw-r--r-- 13.1 KB
Identity.thy -rw-r--r-- 20.8 KB
List_HoTT.thy -rw-r--r-- 319 bytes
Nat.thy -rw-r--r-- 5.9 KB
Propositions.thy -rw-r--r-- 459 bytes

back to top