We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Mathematical Components
Coq 548 110
Mathematical Components compliant Analysis Library
High level commands to declare a hierarchy based on packed classes
Formalizing Cylindrical Algebraic Decomposition related theories in mathcomp
Multinomials for the Mathematical Components library.
A proof of Abel-Ruffini theorem.
Theorems for Real Closed Fields
https://math-comp.github.io/
Docker images of coq-mathcomp [maintainer=@erikmd]
Loading…