HoTT / Coq-HoTTLinks

A Coq library for Homotopy Type Theory
1,315Updated 3 weeks ago

Alternatives and similar repositories for Coq-HoTT

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

Sorting: