Finite sets, finite maps, multisets and generic sets

Coq46

5 months ago

coqfinite-setsmathcomp

Ring, field, lra, nra, and psatz tactics for Mathematical Components

Coq32

2 months ago

coqelpimathcomp

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

Dockerfile6bsd-3-clause

3 months ago

cicoqdocker-image