https://github.com/jaycech3n/Isabelle-HoTT
History
Tip revision: d9bc9ee46f3f7a88be429f9afc303c5312430083 authored by Josh Chen on 30 November 2022, 12:22:20 UTC
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

back to top