Coq-community package maintenance project
NOASSERTION
A collaborative, community-driven organization for the long-term maintenance and promotion of packages for the Rocq Prover.
72 stars6 forks0 contributors
Overview
Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.
Related Projects
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
