Categories Alternatives Stacks Self-Hosted Explore

© 2026 Open-Awesome. Curated for the developer elite.

Terms Privacy About GitHub RSS

Official Coq-Club mailing list | Open Awesome

Home
Coq
Official Coq-Club mailing list

Official Coq-Club mailing list

Visit Website GitHub

0 stars0 forks0 contributors

Overview

Quick Stats

Stars0

Forks0

Contributors0

Open Issues0

Last commit

Related Projects

Community-curated · Updated weekly · 100% open source

Found a gem we're missing?

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

Submit a project Star on GitHub

Created

Links & Resources

Included in

Official Coq wiki

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Last commit2 days ago

Mathematical Components wiki

Mathematical Components

Last commit4 days ago

Coq-community package maintenance project

Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.

Last commit1 year ago

Official Coq X/Twitter