mathcomp/mathcomp-dev

•Updated about 11 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-9.3

Last pushed about 11 hours by mathcompuser

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

Digest	OS/ARCH	Compressed size
1cba676eb31e	linux/amd64	2.41 GB

TAG

rocq-prover-dev

Last pushed about 11 hours by mathcompuser

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

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

TAG

rocq-prover-9.1

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