# Code of Conduct

This project has adopted the [Rocq Code of Conduct](https://rocq-prover.org/policies/code-of-conduct).