Need
No CONTRIBUTING.md exists in the repo. Split out of #1 (a stale master tracking issue, closed as superseded — most of its scope had already shipped).
Ask
A contribution guide covering at minimum:
- Dev environment setup (Nix shell, Bazel version)
- How to run the test suite (
tests/, proof tests)
- How to add a new Rocq/rocq-of-rust example
- PR expectations (CI must be green, branch protection requires a PR into
main)
Priority
Low — nice-to-have, not blocking any current work.
Need
No
CONTRIBUTING.mdexists in the repo. Split out of #1 (a stale master tracking issue, closed as superseded — most of its scope had already shipped).Ask
A contribution guide covering at minimum:
tests/, proof tests)main)Priority
Low — nice-to-have, not blocking any current work.