Coq Ceps Save

Coq Enhancement Proposals

Project README

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

Open Source Agenda is not affiliated with "Coq Ceps" Project. README Source: coq/ceps
Stars
43
Open Issues
46
Last Commit
4 weeks ago
Repository
coq/ceps
Tags
Coq Rfc

Open Source Agenda Badge

Open Source Agenda Rating
Submit Review Review Your Favorite Project
Submit Resource Articles, Courses, Videos
Submit Article Submit a post to our blog

From the blog

Dec 11, 2022

How to Choose Which Programming Language to Learn First?

From the blog

Dec 11, 2022

How to Choose Which Programming Language to Learn First?