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