manifesto
Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.
AI summary
Package repository
A collaborative effort to maintain and promote Coq packages and tools.
- stars
- 68
- forks
- 6
- watching
- 11
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Coq toolset
A collection of reusable Coq definitions and theorems for building software development tools
Topology library
Develops and formalizes basic concepts and results of general topology in Coq.
Coq project templates
Provides boilerplate templates and scripts for generating configuration files and setup scripts in Coq projects
Math library
A comprehensive formalization of mathematical structures and concepts for verified computation in Coq.
Distributed store verifier
A framework for verifying causal consistency in distributed key-value stores and their clients using the Coq proof assistant
Regular language library
Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant
Semantics study
A comprehensive survey of programming language semantics styles implemented in Coq
Bitset library
A formalization of bitset operations in Coq with extraction to OCaml native integers.
Data structure library
A comprehensive library of verified data structures and algorithms in Coq
Proof automation library
A Coq library demonstrating design patterns for automated proof automation and canonical structures
Parser combinator library
A Coq library that provides a total parser combinator library with support for building parsers and grammars in the language of Coq.
coq/platform191
Proof assistant distribution
A multi-platform distribution of the Coq proof assistant and its libraries, providing a standardized setup for development and teaching
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Web server
A Coq-based web server written in a functional programming language
Graph formalizer
Formalized graph theory results for research and verification
Featured in 1 awesome list
Each link jumps to the spot where the list mentions manifesto.