coq-art
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
AI summary
Proof assistant
Coq proof assistant book with exercises and examples
- stars
- 114
- forks
- 22
- watching
- 7
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Coq container
Provides pre-configured Docker images for building and testing the Coq proof assistant
Regular language library
Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant
coq/vscoq349
Coq editor
An extension for Visual Studio Code and VSCodium to support Coq Proof Assistant
Coq tips
A resource for discovering useful techniques and tricks in Coq
Proof assistant distribution
A multi-platform distribution of the Coq proof assistant and its libraries, providing a standardized setup for development and teaching
Puzzle game
A Coq implementation of the Japanese warehouse keeper's puzzle game Sokoban
Theorem repository
Repository tracking famous theorems proved using proof assistants.
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Proof automation library
A Coq library demonstrating design patterns for automated proof automation and canonical structures
Algebra library
A Coq library providing algebraic data structures and algorithms
Coq toolset
A collection of reusable Coq definitions and theorems for building software development tools
Proof Assistant
Enables interactive proof development in Vim similar to other proof assistants.
Coq tutorials
Tutorials and materials for teaching Coq-based mathematical component development
Coq library image
Provides Docker images for a Coq proof assistant library
Proof assistant library
Python bindings for Coq's interactive proof assistant
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions coq-art.
