Reviews
proof script associated to tutorial material
Search similar apps
License
Related apps
algebra-tactics
Ring, field, lra, nra, and psatz tactics for Mathematical Components
Coq28
5 months ago
coqelpimathcomp
analysis
Mathematical Components compliant Analysis Library
Coq167other
4 months ago
analysiscoqmathcomp
hierarchy-builder
High level commands to declare a hierarchy based on packed classes
Prolog83mit
4 months ago
coqelpimathcomp
tarjan
Formalization of Tarjan 72 algorithm in Coq with mathematical components and ssr
Coq9
11 months ago
coqmathcompssreflect
docker-mathcomp
Docker images of coq-mathcomp [maintainer=@erikmd]
Dockerfile6bsd-3-clause
5 months ago
cicoqdocker-image