https://github.com/jaycech3n/Isabelle-HoTT
Tip revision: d9bc9ee46f3f7a88be429f9afc303c5312430083 authored by Josh Chen on 30 November 2022, 12:22:20 UTC
update readme
update readme
Tip revision: d9bc9ee
File | Mode | Size |
---|---|---|
Bool_HoTT.thy | -rw-r--r-- | 67 bytes |
Equivalence.thy | -rw-r--r-- | 13.2 KB |
Equivalence2.thy | -rw-r--r-- | 13.7 KB |
Identity.thy | -rw-r--r-- | 20.8 KB |
List_HoTT.thy | -rw-r--r-- | 320 bytes |
Nat.thy | -rw-r--r-- | 5.9 KB |
Propositions.thy | -rw-r--r-- | 405 bytes |
Univalence.thy | -rw-r--r-- | 902 bytes |