andrejbauer / Homotopy

Homotopy theory in Coq.
92Updated 13 years ago

Alternatives and similar repositories for Homotopy:

Users that are interested in Homotopy are comparing it to the libraries listed below