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