manifesto
Package repository
A collaborative effort to maintain and promote Coq packages and tools.
Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.
68 stars
11 watching
6 forks
last commit: 11 months ago
Linked from 1 awesome list
community-drivencoqmanifesto
Related projects:
Repository | Description | Stars |
---|---|---|
| A collection of reusable Coq definitions and theorems for building software development tools | 129 |
| Develops and formalizes basic concepts and results of general topology in Coq. | 47 |
| Provides boilerplate templates and scripts for generating configuration files and setup scripts in Coq projects | 13 |
| A comprehensive formalization of mathematical structures and concepts for verified computation in Coq. | 111 |
| A framework for verifying causal consistency in distributed key-value stores and their clients using the Coq proof assistant | 32 |
| Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant | 41 |
| A comprehensive survey of programming language semantics styles implemented in Coq | 46 |
| A formalization of bitset operations in Coq with extraction to OCaml native integers. | 22 |
| A comprehensive library of verified data structures and algorithms in Coq | 45 |
| A Coq library demonstrating design patterns for automated proof automation and canonical structures | 26 |
| A Coq library that provides a total parser combinator library with support for building parsers and grammars in the language of Coq. | 42 |
| A multi-platform distribution of the Coq proof assistant and its libraries, providing a standardized setup for development and teaching | 191 |
| A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics | 30 |
| A Coq-based web server written in a functional programming language | 86 |
| Formalized graph theory results for research and verification | 35 |