Reviews
Finite sets, finite maps, multisets and generic sets
Search similar apps
License
Related apps
algebra-tactics
Ring, field, lra, nra, and psatz tactics for Mathematical Components
Coq32
2 months ago
coqelpimathcomp
docker-mathcomp
Docker images of coq-mathcomp [maintainer=@erikmd]
Dockerfile6bsd-3-clause
3 months ago
cicoqdocker-image