relation-algebra
by damien-pous
Relation algebra library for Coq
AI summary
Relation algebra library
A library providing modular and axiom-free decision procedures for relation algebra theories in Coq.
- stars
- 48
- forks
- 17
- watching
- 1
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Relation Algebra Library
A Coq library providing algebraic tools and tactics for working with binary relations
Relation algebra library
A collection of lemmas and tactics about lists and binary relations for a proof assistant
Coinduction library
A library that enables formal proofs using enhanced coinduction techniques
Logical relation library
A Coq-based library for establishing logical relations in formal verification and proof assistance
Algebra library
A Coq formalization of abstract algebra using functional programming style
Algebra library
A Coq library providing algebraic data structures and algorithms
Symmetric functions library
An algebraic combinatorics library formalized in Coq, providing a comprehensive set of functions and theories for symmetric functions.
Real number theory
A formalization of Dedekind reals numbers in the Coq programming language
Almost Full relation library
A formalization of ground results about Almost Full relations in Coq 8.14+, including closure properties and Dickson's lemma.
monad library
A Coq library for formalizing and reasoning about monads with equational logic
Combinatorics library
Formalizes algebraic combinatorics and symmetric functions in Coq.
Math library
A library of abstract interfaces for various mathematical structures to facilitate algebraic manipulation and type class-based reasoning in Coq
Graph formalizer
Formalized graph theory results for research and verification
Relational programming semantics
A certified semantics for relational programming language specification, providing verified implementations of syntax and semantics for miniKanren languages
Binding manipulation library
A Coq library for manipulating binding structures in syntax with binders.
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions relation-algebra.
