rocq-prover / rfcsLinks

Rocq RFCs: documents to discuss changes to the Rocq Prover
57Updated 4 months ago

Alternatives and similar repositories for rfcs

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

Sorting: