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
jfehrle/ceps
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
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