coq-ext-lib
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
AI summary
Coq toolset
A collection of reusable Coq definitions and theorems for building software development tools
- stars
- 129
- forks
- 47
- watching
- 16
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Bitset library
A formalization of bitset operations in Coq with extraction to OCaml native integers.
Regular language library
Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant
Semantics study
A comprehensive survey of programming language semantics styles implemented in Coq
Coq tips
A resource for discovering useful techniques and tricks in Coq
Topology library
Develops and formalizes basic concepts and results of general topology in Coq.
Algebra library
A Coq library providing algebraic data structures and algorithms
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Math library
A collection of mathematical theorems and tools within the Coq proof assistant
Math library
A library of abstract interfaces for various mathematical structures to facilitate algebraic manipulation and type class-based reasoning in Coq
Math library
A comprehensive formalization of mathematical structures and concepts for verified computation in Coq.
Graph formalizer
Formalized graph theory results for research and verification
Proof assistant
Coq proof assistant book with exercises and examples
Coq utility library
A collection of reusable tools and utilities for working with the Coq proof assistant
Syntax automator
Automates formalizing syntactic theories with variable binders in Coq
Coq builder
Automates Coq project setup and Continuous Integration with Nix package manager
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions coq-ext-lib.
