CEPs

Repository for RFCs (Requests for Comments) to discuss changes and enhancements to the Rocq Prover.

64 stars37 forks0 contributors

Overview

Rocq RFCs: documents to discuss changes to the Rocq Prover

Community-curated · Updated weekly · 100% open source

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

1 year ago

CreatedSince 2016

Auto-fetched 1 day ago

Moved to Codeberg

Tracking ECMAScript Proposals

The official repo for the design of the C# programming language

Kotlin Evolution and Enhancement Process