Description
Supplies the standard library used by the Rocq proof assistant, including foundational definitions and reusable proof material. It is useful for formal proof projects that depend on common mathematical and logical building blocks.
This is library data for proof development, not a separate app. Version changes can affect proofs, so keep project dependencies pinned or reviewed when reproducibility matters.