coq / rfcs

Coq Enhancement Proposals
55Updated last month

Alternatives and similar repositories for rfcs:

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