Tags

Tags give the ability to mark specific points in history as being important

paper-univalent-material-set-theory

c26563a5 · Change restricted separation to use El · Jul 11, 2024
```
Commit used for the paper Univalent Material Set Theory
```
paper-non-wellfounded-set-theory-preprint

616b9ac9 · Remove comment · Jul 07, 2024
```
Version used for Non-wellfounded set theory preprint
```
paper-category-of-iterative-sets

677c050d · Add naturality condition to V0 CwF · Feb 05, 2024
```
Commit used for the paper The Category of Iterative Sets
```