Category Theory in Coqjwiegley/category-theory
An axiom-free formalization of category theory in Coq for representation, manipulation, and realization of categorical terms.
80381Rocq Prover
4 days agoThere are currently 3 open-source projects built with Lefthook, with a combined total of 870 GitHub stars. The most common language among these projects is Go.
Showing 3 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.
