5 repos
coq-community/manifesto
Documentation on goals of the Rocq-community organization, the shared contributing guide and code…
74
146 commits
rocq-community/manifesto
ocaml-community/meta
Administration and documentation for the ocaml-community organization.
31
30 commits
ocaml/code-of-conduct
Documents related to the Code of Conduct
19
41 commits
rocq-prover/platform-docs
A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
26
113 commits
