Interested in type theory, category theory and univalent foundations.
Updated 2023-08-15 10:13:59 +02:00