GitHub repository: rocq-prover/rfcs
Description: Rocq RFCs: documents to discuss changes to the Rocq Prover