mczify
by math-comp
Micromega tactics for Mathematical Components
AI summary
Tactic library
A Coq library that enables the use of Micromega arithmetic solvers for goals stated with Mathematical Components definitions
- stars
- 24
- forks
- 8
- watching
- 13
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Algebra solver
A library providing tactics for solving algebraic equations in Coq.
Math Library
A comprehensive library of formalized mathematical theories
Analysis library
A Coq proof-assistant library for real analysis and mathematical structures
Math Library
A collection of reusable mathematical components and algorithms implemented in Coq
Equation solver
Tactics for rewriting and proving equations with associativity and commutativity properties
Coq tutorials
Tutorials and materials for teaching Coq-based mathematical component development
Coq math library
A Coq library providing an alternative set of axioms and type class mechanisms for building and proving mathematical theorems.
Tactic language
A plugin for Coq that extends its proof assistant with a typed tactic language for backward reasoning.
Math library
A library of abstract interfaces for various mathematical structures to facilitate algebraic manipulation and type class-based reasoning in Coq
Polynomial algebra library
A library providing a monomial algebra framework for polynomials over ring structures.
Hypothesis manager
A Coq library providing tactics to manipulate hypotheses in formal proofs.
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Math investigations
Investigating various aspects of discrete mathematics and formal proofs in Coq, including ordinal numbers and computability theory.
Combinatorics library
Formalizes algebraic combinatorics and symmetric functions in Coq.
Mathematics formalization library
Formalizes mathematics using the univalent point of view
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions mczify.
