Interested in type theory, category theory and univalent foundations.
Updated 2023-07-19 23:14:07 +02:00