docker-mathcomp

docker-mathcomp

https://github.com/math-comp/docker-mathcomp

4 months ago

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

Search similar apps

License

BSD 3-Clause "New" or "Revised" License

Share

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

Creator

math-comp

Related apps

finmap

Finite sets, finite maps, multisets and generic sets

Coq46

6 months ago

coqfinite-setsmathcomp

tutorial_material

proof script associated to tutorial material

Coq17

last year

algebra-tactics

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

Coq32

2 months ago

coqelpimathcomp