https://github.com/jaycech3n/Isabelle-HoTT
Tip revision: 1928649fd490d50d1e05fef6cbb22ca38d81cbe5 authored by Josh Chen on 17 April 2021, 16:55:04 UTC
update readme
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 |