Ce projet héberge les propositions d'amélioration pour Coq (CEP), qui sont l'équivalent des RFC, PEP et autres pour d'autres langages de programmation. Les CEP décrivent des changements potentiels dans Coq, y compris des modifications de l'API, des fonctionnalités ou des processus de développement.