https://github.com/jaycech3n/Isabelle-HoTT
Raw File
Tip revision: c93932c689640a530de946f35a0a9dc82e56e776 authored by Josh Chen on 18 September 2018, 09:46:04 UTC
Load Univalence by default
Tip revision: c93932c
.gitignore
.directory
*.thy~
\#*.thy#

ex/*.thy~
ex/\#*.thy#

ex/Hott book/*.thy~
ex/Hott book/\#*.thy#

tests/*.thy~
tests/\#*.thy#
back to top