HoTT / Coq-HoTTLinks

A Coq library for Homotopy Type Theory
1,321Updated this week

Alternatives and similar repositories for Coq-HoTT

Users that are interested in Coq-HoTT are comparing it to the libraries listed below

Sorting: