mathcomp/mathcomp-dev

•Updated about 4 hours ago

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

Image

Languages & frameworks

Integration & delivery

100K+

Tags for mathcomp/mathcomp-dev

Sort by

TAG

rocq-prover-dev

Last pushed about 4 hours by mathcompuser

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

Digest	OS/ARCH	Compressed size
1da85f1a2694	linux/amd64	2.69 GB

TAG

rocq-prover-9.3

Last pushed about 4 hours by mathcompuser

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

Digest	OS/ARCH	Compressed size
d8bbe55b69a4	linux/amd64	2.41 GB

TAG

rocq-prover-9.1

Last pushed 9 days by mathcompuser

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

Digest	OS/ARCH	Compressed size
bbb171f9788a	linux/amd64	2.36 GB

TAG

rocq-prover-9.2

Last pushed 9 days by mathcompuser

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

Digest	OS/ARCH	Compressed size
03bb1e72e5f6	linux/amd64	2.37 GB

TAG

rocq-prover-9.0

Last pushed about 2 months by mathcompuser

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

Digest	OS/ARCH	Compressed size
5cfecb4ebb28	linux/amd64	2.35 GB

TAG

coq-8.20

Last pushed 12 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