VojtechStep

@VojtechStep@mathstodon.xyz

PhD student on Inria's Gallinette team. Also working on synthetic homotopy theory in HoTT. I'm interested in (homotopy) type theory, formalization of mathematics, cats (the math kind) and cats (the fluffy kind).