poleiro
Coq blog
A blog about Coq proof assistant and its related libraries and tools
A blog about Coq
47 stars
9 watching
5 forks
Language: Coq
last commit: over 2 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 coq-community/coq-art | Coq proof assistant book with exercises and examples | 110 |
 ejgallego/pycoq | Python bindings for Coq's interactive proof assistant | 50 |
 clarus/coq-chick-blog | A Coq-based blog engine with user management and I/O operations | 178 |
 coq/vscoq | A Visual Studio Code extension for Coq proof assistant support | 343 |
 whonore/coqtail | Enables interactive proof development in Vim similar to other proof assistants. | 274 |
| coq/platform | A multi-platform distribution of the Coq proof assistant and its libraries, providing a standardized setup for development and teaching | 188 |
| arthuraa/extructures | Provides data structures and reasoning tools for extensional equality in Coq | 29 |
 anton-trunov/coq-lecture-notes | Lecture notes and resources for learning the Coq proof assistant | 50 |
| coq-community/coq-100-theorems | Repository tracking famous theorems proved using proof assistants. | 55 |
| coq-community/alea | A library for reasoning about randomized algorithms in Coq | 25 |
| coq-community/coq-tricks | A resource for discovering useful techniques and tricks in Coq | 503 |
| coq-community/autosubst | Automates formalizing syntactic theories with variable binders in Coq | 52 |
| coq-community/paramcoq | A Coq plugin providing commands for generating parametricity statements used in data refinement proofs. | 44 |
| coq-community/coqeal | A Coq library providing algebraic data structures and algorithms | 66 |