About VojtechStep

PhD student on Inria's Gallinette team. Also working on synthetic homotopy theory in HoTT for agda-unimath.

I'm interested in (homotopy) type theory, formalization of mathematics, cats (the math kind) and cats (the fluffy kind).

Lists

Timeline

VojtechStep has no activity yet