mathcomp/mathcomp-dev

•Updated about 6 hours ago

Docker images of the development version of the MathComp library for the Coq proof assistant

Image

Languages & frameworks

Integration & delivery

50K+

Tags for mathcomp/mathcomp-dev

Sort by

TAG

rocq-prover-dev

Last pushed about 6 hours by mathcompuser

docker pull mathcomp/mathcomp-dev:rocq-prover-dev

Digest	OS/ARCH	Compressed size
5d688a23ec4e	linux/amd64	2.67 GB

TAG

rocq-prover-9.2

Last pushed 7 days by mathcompuser

docker pull mathcomp/mathcomp-dev:rocq-prover-9.2

Digest	OS/ARCH	Compressed size
979f3b3ecb21	linux/amd64	2.37 GB

TAG

rocq-prover-9.1

Last pushed 7 days by mathcompuser

docker pull mathcomp/mathcomp-dev:rocq-prover-9.1

Digest	OS/ARCH	Compressed size
5071cd82f74b	linux/amd64	2.36 GB

TAG

rocq-prover-9.0

Last pushed 7 days by mathcompuser

docker pull mathcomp/mathcomp-dev:rocq-prover-9.0

Digest	OS/ARCH	Compressed size
dd21cf36049c	linux/amd64	2.35 GB

TAG

coq-8.20

Last pushed 9 months by mathcompuser

docker pull mathcomp/mathcomp-dev:coq-8.20

Digest	OS/ARCH	Compressed size
130f9f2efaa6	linux/amd64	2.22 GB

TAG

coq-8.19

Last pushed over 1 year by mathcompuser

docker pull mathcomp/mathcomp-dev:coq-8.19

Digest	OS/ARCH	Compressed size
25bf0158ca23	linux/amd64	2.02 GB