Reviews
Docker images of coq-mathcomp [maintainer=@erikmd]
Search similar apps
License
BSD 3-Clause "New" or "Revised" License
Related apps
algebra-tactics
Ring, field, lra, nra, and psatz tactics for Mathematical Components
Coq28
6 months ago
coqelpimathcomp
analysis
Mathematical Components compliant Analysis Library
Coq167other
5 months ago
analysiscoqmathcomp
hierarchy-builder
High level commands to declare a hierarchy based on packed classes
Prolog83mit
5 months ago
coqelpimathcomp
tarjan
Formalization of Tarjan 72 algorithm in Coq with mathematical components and ssr
Coq9
last year
coqmathcompssreflect