Tags give the ability to mark specific points in history as being important
-
-
-
paper-univalent-material-set-theory
c26563a5 · ·Commit used for the paper Univalent Material Set Theory
-
paper-non-wellfounded-set-theory-preprint
616b9ac9 · ·Version used for Non-wellfounded set theory preprint
-
paper-category-of-iterative-sets
677c050d · ·Commit used for the paper The Category of Iterative Sets