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
CoqHott/ceps
This branch is 79 commits behind coq/rfcs:master.
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Latest commit5c5f898 · | ||||