Coq-Combi
by hivert
Algebraic Combinatorics in Coq
AI summary
Symmetric functions library
An algebraic combinatorics library formalized in Coq, providing a comprehensive set of functions and theories for symmetric functions.
- stars
- 1
- forks
- 0
- watching
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Combinatorics library
Formalizes algebraic combinatorics and symmetric functions in Coq.
Parser combinator library
A Coq library that provides a total parser combinator library with support for building parsers and grammars in the language of Coq.
Relation algebra library
A collection of lemmas and tactics about lists and binary relations for a proof assistant
Algebra library
A Coq library providing algebraic data structures and algorithms
Real number theory
A formalization of Dedekind reals numbers in the Coq programming language
Relation Algebra Library
A Coq library providing algebraic tools and tactics for working with binary relations
Polynomial algebra library
A library providing a monomial algebra framework for polynomials over ring structures.
Graph formalizer
Formalized graph theory results for research and verification
Math library
A library of abstract interfaces for various mathematical structures to facilitate algebraic manipulation and type class-based reasoning in Coq
Coq math library
A Coq library providing an alternative set of axioms and type class mechanisms for building and proving mathematical theorems.
Math investigations
Investigating various aspects of discrete mathematics and formal proofs in Coq, including ordinal numbers and computability theory.
Data structure library
A comprehensive library of verified data structures and algorithms in Coq
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Randomized algorithms reasoner
A library for reasoning about randomized algorithms in Coq
