Awesome Coq Overview

A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]

🏠 Home · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor · 😺 coq-community/awesome-coq · ⭐ 301 · 🏷️ Programming Languages

[ Daily / Weekly / Overview ]

Awesome Coq Awesome

coq-community logo

A curated list of awesome Coq libraries, plugins, tools, and resources.

The Coq proof assistant provides a formal language to write mathematical definitions, executable algorithms, and theorems, together with an environment for semi-interactive development of machine-checked proofs.

Contributions welcome! Read the contribution guidelines (⭐301) first.

Contents


Projects

Frameworks

User Interfaces

Libraries

Package and Build Management

Plugins

Puzzles and Games

Tools

Type Theory and Mathematics

Verified Software

Resources

Community

Blogs

Books

Course Material

Tutorials and Hints