Skip to content
GitLab
Explore
Sign in
v0.1.3
2e44b13e
·
[ hott-formal.pdf ] Add the appendix: Formal type theory
·
May 08, 2018
Release: