Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/coq/ceps

Coq Enhancement Proposals
https://github.com/coq/ceps

coq rfc

Last synced: about 1 month ago
JSON representation

Coq Enhancement Proposals

Awesome Lists containing this project

README

        

This repository contains the Coq Enhancement Proposals (CEP), the Coq equivalent of RFCs, PEPs and the like.

To learn how CEPs work please read [CEP0](https://github.com/coq/ceps/blob/master/text/000-coq-enhancement-proposal.md)