GitHub - kendroe/ceps: Coq Enhancement Proposals

kendroe / ceps Public

forked from coq/ceps

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Coq Enhancement Proposals

0 stars 31 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 25 Commits
text		text
README.md		README.md

Repository files navigation

This repository contains the Coq Enhancement Proposals (CEP), the Coq equivalent of RFCs, PEPs and the like.

About

Coq Enhancement Proposals

Report repository

Releases

No releases published

Packages

No packages published