https://github.com/jaycech3n/Isabelle-HoTT
Tip revision: 30e48cda81b465bc93b1c857075a7414db56a6e0 authored by Josh Chen on 10 April 2021, 21:06:59 UTC
update Isabelle2020 URL in Dockerfile
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 |