ezyang / HoTT-coqexLinks

Coq solutions to exercises in HoTT book
11Updated 11 years ago

Alternatives and similar repositories for HoTT-coqex

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

Sorting: