Maintainers

Egbert Rijke (Lead developer)

Egbert Rijke is a postdoctoral researcher at the University of Ljubljana. 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 theory and higher category theory.

Elisabeth Bonnevier

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.