https://github.com/jaycech3n/Isabelle-HoTT
Revision b7439e6f5517527e217ef6c05f0a00e361bac841 authored by Josh Chen on 17 July 2020, 09:15:26 UTC, committed by GitHub on 17 July 2020, 09:15:26 UTC
2 parent s 1ff98c9 + 00463d7
History
Tip revision: b7439e6f5517527e217ef6c05f0a00e361bac841 authored by Josh Chen on 17 July 2020, 09:15:26 UTC
Merge pull request #7 from jaycech3n/ci-action
Tip revision: b7439e6
File Mode Size
.github
hott
spartan
.gitignore -rw-r--r-- 30 bytes
LICENSE -rw-r--r-- 9.7 KB
README.md -rw-r--r-- 1.9 KB
ROOT -rw-r--r-- 869 bytes

README.md

back to top