Maintainers
Egbert Rijke (Lead developer)
Egbert Rijke is a postdoctoral researcher at Johns Hopkins University. His research is on homotopy type theory and general mathematics from a univalent point of view.
Fredrik Bakke
Fredrik is a PhD student at the Norwegian University of Science and Technology in Trondheim. His research is on homotopy type theory and higher category theory.
Elisabeth Stenholm
Elisabeth is a PhD student at the University of Bergen. Her research is on homotopy type theory.
Jonathan Prieto-Cubides
Jonathan is a researcher and a compiler engineer at Heliax designing and implementing the functional programming language Juvix. His PhD research is on graph theory from a univalent point of view.
Vojtěch Štěpančík
Vojta is a PhD student at Inria in Nantes, with background in software engineering and synthetic homotopy theory. His current research is on metatheory for formalizing algebraic structures in the Rocq proof assistant.