mathcomp/mathcomp-dev

•Updated 32 minutes 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-9.3

Last pushed 32 minutes by mathcompuser

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

Digest	OS/ARCH	Compressed size
913cc466d3f2	linux/amd64	2.42 GB

TAG

rocq-prover-dev

Last pushed about 1 hour by mathcompuser

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

Digest	OS/ARCH	Compressed size
e919dc5982b3	linux/amd64	2.69 GB

TAG

rocq-prover-9.1

Last pushed about 5 hours by mathcompuser

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

Digest	OS/ARCH	Compressed size
e92b939e2b50	linux/amd64	2.37 GB

TAG

rocq-prover-9.2

Last pushed about 5 hours by mathcompuser

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

Digest	OS/ARCH	Compressed size
2a9a5358ad18	linux/amd64	2.38 GB

TAG

rocq-prover-9.0

Last pushed 3 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 about 1 year 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