poleiro
by arthuraa
A blog about Coq
AI summary
Coq blog
A blog about Coq proof assistant and its related libraries and tools
- stars
- 47
- forks
- 5
- watching
- 9
Similar projects
Found by comparing what the projects do, not just their names.
Proof assistant
Coq proof assistant book with exercises and examples
Proof assistant library
Python bindings for Coq's interactive proof assistant
Blog engine
A Coq-based blog engine with user management and I/O operations
coq/vscoq349
Coq editor
An extension for Visual Studio Code and VSCodium to support Coq Proof Assistant
Proof Assistant
Enables interactive proof development in Vim similar to other proof assistants.
Proof assistant distribution
A multi-platform distribution of the Coq proof assistant and its libraries, providing a standardized setup for development and teaching
Equality library
Provides data structures and reasoning tools for extensional equality in Coq
Coq tutorial
Lecture notes and resources for learning the Coq proof assistant
Theorem repository
Repository tracking famous theorems proved using proof assistants.
Randomized algorithms reasoner
A library for reasoning about randomized algorithms in Coq
Coq tips
A resource for discovering useful techniques and tricks in Coq
Syntax automator
Automates formalizing syntactic theories with variable binders in Coq
Parametrization tool
A Coq plugin providing commands for generating parametricity statements used in data refinement proofs.
Algebra library
A Coq library providing algebraic data structures and algorithms
