7 open source projects by andrejbauer

A course on homotopy theory and type theory, taught jointly with Jaka Smrekar

Spartan type theory

Homotopy theory in Coq.

A prototype programming language for programming with runners

Programming Languages Zoo

Andrej Bauer's blog "Mathematics and Computation"