Homotopy Type TheoryHoTT/Coq-HoTT
A Coq library for formalizing Homotopy Type Theory, interpreting type theory into homotopy theory.
1.4k201Rocq Prover
3 days agoThere are currently 4 open-source projects built with Coq, with a combined total of 4.1k GitHub stars. The most common language among these projects is Rocq Prover.
Showing 4 open-source projects
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
