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