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
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
Coq Enhancement Proposals