Coq
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources.
What is Coq?
Awesome Coq is a curated list of resources for the Coq proof assistant, a formal language for writing mathematical definitions, algorithms, and machine-checked proofs. It aggregates libraries, plugins, tools, and educational materials to support developers and researchers in formal verification and interactive theorem proving. The project solves the problem of discovering and evaluating the growing ecosystem of Coq-related projects.
Researchers, students, and software engineers working in formal methods, programming language theory, verified software, or mathematical proof development. It is particularly useful for those new to Coq seeking learning resources or experienced users looking for specialized libraries and tools.
Developers choose Awesome Coq because it provides a centralized, community-vetted directory that saves time in finding reliable Coq resources. Its comprehensive categorization and focus on both practical tools and educational content make it an essential reference for anyone involved in formal verification.
Overview
A curated list of awesome Coq libraries, plugins, tools, verification projects, and resources [maintainer=@palmskog]
Use Cases
Best For
Related Projects
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.
