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.