Skip to content

herbelin/ceps

This branch is 85 commits behind coq/rfcs:master.

Folders and files

NameName
Last commit message
Last commit date

Latest commit

author
Enrico
Jun 13, 2017
d86fca7 · Jun 13, 2017

History

49 Commits
Jun 13, 2017
Mar 3, 2017
Jun 13, 2017

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

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published