Skip to content
/ ceps Public

Coq Enhancement Proposals

43 stars 30 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

coq/ceps

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

107 Commits
text
text
 
 
.gitignore
.gitignore
 
 
000-template.md
000-template.md
 
 
README.md
README.md
 
 

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

About

Coq Enhancement Proposals

Topics

coq rfc

Resources

Readme
Activity
Custom properties

Stars

43 stars

Watchers

33 watching

Forks

30 forks
Report repository

Releases

No releases published

Packages

No packages published

Contributors 13