-
paper-univalent-material-set-theory
Commit used for the paper Univalent Material Set Theory
-
paper-non-wellfounded-set-theory-preprint
Version used for Non-wellfounded set theory preprint
-
paper-category-of-iterative-sets
Commit used for the paper The Category of Iterative Sets