Welcome

This is a project web page for the Homotopy Type Theory research group at Carnegie Mellon University. The current project members are:
Jeremy Avigad, Steve Awodey, Jonas Frey, Clive Newstead, Egbert Rijke, Floris van Doorn, Felix Wellen and Colin Zwanziger.

Advertisements