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
.github
hott
mltt
.gitignore -rw-r--r-- 27 bytes
LICENSE -rw-r--r-- 9.8 KB
README.md -rw-r--r-- 2.0 KB
ROOT -rw-r--r-- 867 bytes

README.md

back to top