rocq-prover / rfcs

Rocq RFCs: documents to discuss changes to the Rocq Prover
56Updated 2 months ago

Alternatives and similar repositories for rfcs:

Users that are interested in rfcs are comparing it to the libraries listed below