Skip to content
GitLab
Explore
Sign in
HoTT
hott-set-theory
Tags
paper-univalent-material-set-theory
paper-univalent-material-set-theory
Elisabeth.Bonnevier
@Elisabeth.Bonnevier
507fa26b
·
Fixes
·
Dec 14, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Commit used for the paper Univalent Material Set Theory