- Gothenburg, Sweden
- https://rachel.cafe
-
Interested in type theory, category theory and univalent foundations.
- Joined on
2022-01-22
the sources for my website
Updated
Interested in type theory, category theory and univalent foundations.
the sources for my website
Updated