coinduction
by damien-pous
coinduction library for Coq
AI summary
Coinduction library
A library that enables formal proofs using enhanced coinduction techniques
- stars
- 15
- forks
- 4
- watching
- 2
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Coinductive proof library
A Coq library for proving properties about stateful systems through parameterized coinduction
Relation algebra library
A library providing modular and axiom-free decision procedures for relation algebra theories in Coq.
Kruskal proof library
A comprehensive library of constructive Coq proofs for Kruskal's tree theorem and related concepts.
Coq math library
A Coq library providing an alternative set of axioms and type class mechanisms for building and proving mathematical theorems.
Math library
A comprehensive formalization of mathematical structures and concepts for verified computation in Coq.
Logical Deduction Library
Formalizations of logical deduction systems using Coq
Algebra library
A Coq library providing algebraic data structures and algorithms
Probability library
A Coq-based probability theory library providing results and definitions for discrete probability, measure theory, and probabilistic choice monads.
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
Formalism library
A comprehensive Coq library providing formal definitions and proofs of rewriting theory, lambda-calculus, and termination.
Regular language library
Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant
Formal math proofs
A personal repository of formally verified mathematics using the Coq proof assistant
Bitset library
A formalization of bitset operations in Coq with extraction to OCaml native integers.
Coq utility library
A collection of reusable tools and utilities for working with the Coq proof assistant
Featured in 1 awesome list
Each link jumps to the spot where the list mentions coinduction.