/ceps

Coq Enhancement Proposals

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