Finite sets, finite maps, multisets and generic sets

Coq45

11 months ago

coqfinite-setsmathcomp

Micromega tactics for Mathematical Components

Coq21

6 months ago

coqmathcompproof-automation

proof script associated to tutorial material

Coq17

6 months ago

Mathematical Components compliant Analysis Library

Coq167other

5 months ago

analysiscoqmathcomp

High level commands to declare a hierarchy based on packed classes

Prolog83mit

5 months ago

coqelpimathcomp

The formal proof of the Odd Order Theorem

Coq23

6 months ago

coqfeit-thompson-theoremmathcomp

Formalization of Tarjan 72 algorithm in Coq with mathematical components and ssr

Coq9

last year

coqmathcompssreflect

Docker images of coq-mathcomp [maintainer=@erikmd]

Dockerfile6bsd-3-clause

6 months ago

cicoqdocker-image