The canonical contributing guide is at the repository root:
- CONTRIBUTING.md — toolchain bumps with mathlib,
sorrypolicy, PR checklist, CI summary.
Related docs in this site:
- CI overview — SentinelOps vs local GitHub Actions.
- Rust code generation — template
rust/output vs Lean extraction. - Style guide — naming, layout, optional proof automation.
- Security expectations — scope and reporting.