We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Mathematical Components
Coq 555 110
High level commands to declare a hierarchy based on packed classes
Formalizing Cylindrical Algebraic Decomposition related theories in mathcomp
Mathematical Components compliant Analysis Library
https://math-comp.github.io/
Finite sets, finite maps, multisets and generic sets
Ring, field, lra, nra, and psatz tactics for Mathematical Components
Micromega tactics for Mathematical Components
Multinomials for the Mathematical Components library.
Loading…