Skip to content
/ ceps Public

Coq Enhancement Proposals

Notifications You must be signed in to change notification settings

coq/ceps

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 

Repository files navigation

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

Releases

No releases published

Packages

No packages published