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

Vojtěch is a master's student at Charles University in Prague. His background is in software engineering, and he's working on formalizing synthetic homotopy theoretic topics for his thesis.