About VojtechStep

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).

Lists

Timeline

VojtechStep has no activity yet