https://github.com/jaycech3n/Isabelle-HoTT
Revision 30e48cda81b465bc93b1c857075a7414db56a6e0 authored by Josh Chen on 10 April 2021, 21:06:59 UTC, committed by Josh Chen on 10 April 2021, 21:06:59 UTC
1 parent 2570ac5
History
Tip revision: 30e48cda81b465bc93b1c857075a7414db56a6e0 authored by Josh Chen on 10 April 2021, 21:06:59 UTC
update Isabelle2020 URL in Dockerfile
Tip revision: 30e48cd
File Mode Size
.github
hott
mltt
.gitignore -rw-r--r-- 27 bytes
LICENSE -rw-r--r-- 9.8 KB
README.md -rw-r--r-- 1.8 KB
ROOT -rw-r--r-- 821 bytes

README.md

back to top