HoTT / FoundationsLinks

Development of the univalent foundations of mathematics in Coq
18Updated 13 years ago

Alternatives and similar repositories for Foundations

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

Sorting: