CEPs

github.comtool

Coq Enhancement Proposals.

from

Standards

added

2026-10-10

likes

0

similar

1. ▲

   CEPs github.com

   Conda Enhancement Proposals.

   tool link ↗
   
2. ▲

   CEPs cwiki.apache.org

   Cassandra Enhancement Proposals.

   site link ↗
   site
3. ▲

   EEPs erlang.org

   Erlang Enhancement Proposals.

   site topic programming link ↗
   
4. ▲

   JEPs github.com

   Jenkins Enhancement Proposals.

   tool link ↗
   tool
5. ▲

   EPPlus github.com

   tool link ↗
   
6. ▲

   Python Enhancement Proposals github.com

   tool topic programming link ↗
   

Standards › Programming Languages: “Coq Enhancement Proposals.”