rocq-prover / rfcsLinks

Rocq RFCs: documents to discuss changes to the Rocq Prover
59Updated 7 months ago

Alternatives and similar repositories for rfcs

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

Sorting: