Reviews
Mathematical Components compliant Analysis Library
License
Other
Related apps
algebra-tactics
Ring, field, lra, nra, and psatz tactics for Mathematical Components
Coq28
6 months ago
coqelpimathcomp
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
docker-mathcomp
Docker images of coq-mathcomp [maintainer=@erikmd]
Dockerfile6bsd-3-clause
6 months ago
cicoqdocker-image