mathcomp-extra
by thery
Extra contribution for mathcomp
AI summary
Math Library
A collection of reusable mathematical components and algorithms implemented in Coq
- stars
- 5
- forks
- 2
- watching
- 3
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Math Library
A comprehensive library of formalized mathematical theories
Analysis library
A Coq proof-assistant library for real analysis and mathematical structures
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 Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Combinatorics library
Formalizes algebraic combinatorics and symmetric functions in Coq.
Algebra library
A Coq library providing algebraic data structures and algorithms
Math library
A library of abstract interfaces for various mathematical structures to facilitate algebraic manipulation and type class-based reasoning in Coq
Galois theorem formalizer
Formalization of mathematical theorems about solvability and Galois theory for polynomials
Math library
A comprehensive formalization of mathematical structures and concepts for verified computation in Coq.
Tactic library
A Coq library that enables the use of Micromega arithmetic solvers for goals stated with Mathematical Components definitions
Coq library image
Provides Docker images for a Coq proof assistant library
Coq tutorials
Tutorials and materials for teaching Coq-based mathematical component development
Symmetric functions library
An algebraic combinatorics library formalized in Coq, providing a comprehensive set of functions and theories for symmetric functions.
Choice type map library
A Coq library that provides support for finite sets and maps on choice types
Math investigations
Investigating various aspects of discrete mathematics and formal proofs in Coq, including ordinal numbers and computability theory.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions mathcomp-extra.