hahn
by vafeiadis
Hahn: A Coq library
AI summary
Relation algebra library
A collection of lemmas and tactics about lists and binary relations for a proof assistant
- stars
- 30
- forks
- 15
- watching
- 5
- 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 library providing modular and axiom-free decision procedures for relation algebra theories in Coq.
Symmetric functions library
An algebraic combinatorics library formalized in Coq, providing a comprehensive set of functions and theories for symmetric functions.
Logical relation library
A Coq-based library for establishing logical relations in formal verification and proof assistance
monad library
A Coq library for formalizing and reasoning about monads with equational logic
Galois theorem formalizer
Formalization of mathematical theorems about solvability and Galois theory for polynomials
Algebra library
A Coq formalization of abstract algebra using functional programming style
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Real number theory
A formalization of Dedekind reals numbers in the Coq programming language
Math investigations
Investigating various aspects of discrete mathematics and formal proofs in Coq, including ordinal numbers and computability theory.
Algebra library
A Coq library providing algebraic data structures and algorithms
Combinatorics library
Formalizes algebraic combinatorics and symmetric functions in Coq.
Mathematics formalization library
Formalizes mathematics using the univalent point of view
Almost Full relation library
A formalization of ground results about Almost Full relations in Coq 8.14+, including closure properties and Dickson's lemma.
Code library
A formalization of information theory and linear error-correcting codes in Coq.
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions hahn.
