coq-tricks
Tricks you wish the Coq manual told you [maintainer=@tchajed]
AI summary
Coq tips
A resource for discovering useful techniques and tricks in Coq
- stars
- 507
- forks
- 22
- watching
- 25
- awesome lists
- 2
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
Proof assistant
Coq proof assistant book with exercises and examples
Topology library
Develops and formalizes basic concepts and results of general topology in Coq.
Semantics study
A comprehensive survey of programming language semantics styles implemented in Coq
Puzzle game
A Coq implementation of the Japanese warehouse keeper's puzzle game Sokoban
Regular language library
Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant
Algebra library
A Coq library providing algebraic data structures and algorithms
Sudoku solver
A formalisation of Sudoku in Coq to solve the puzzle using a naive Davis-Putnam procedure
Theorem repository
Repository tracking famous theorems proved using proof assistants.
Math library
A library of abstract interfaces for various mathematical structures to facilitate algebraic manipulation and type class-based reasoning in Coq
Coq tutorials
Tutorials and materials for teaching Coq-based mathematical component development
Math library
A comprehensive formalization of mathematical structures and concepts for verified computation in Coq.
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Coq tutorial
Lecture notes and resources for learning the Coq proof assistant
Syntax automator
Automates formalizing syntactic theories with variable binders in Coq
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions coq-tricks.
