- Gothenburg, Sweden
- https://rachel.cafe
-
Interested in type theory, category theory and univalent foundations.
- Joined on
2022-01-22
No matching repositories found.
Interested in type theory, category theory and univalent foundations.