Sign inSign up

mathcomp/mathcomp-dev

By mathcomp

•Updated 10 minutes ago

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

Image
Languages & frameworks
Integration & delivery
1

100K+

Tags for mathcomp/mathcomp-dev

Sort by

TAG

rocq-prover-dev

Last pushed 10 minutes by mathcompuser

docker pull mathcomp/mathcomp-dev:rocq-prover-dev
DigestOS/ARCHCompressed size

d739f5a3b5d1

linux/amd64

2.69 GB

TAG

rocq-prover-9.3

Last pushed 13 minutes by mathcompuser

docker pull mathcomp/mathcomp-dev:rocq-prover-9.3
DigestOS/ARCHCompressed size

660c240514dd

linux/amd64

2.42 GB

TAG

rocq-prover-9.2

Last pushed about 9 hours by mathcompuser

docker pull mathcomp/mathcomp-dev:rocq-prover-9.2
DigestOS/ARCHCompressed size

ad93837f95df

linux/amd64

2.38 GB

TAG

rocq-prover-9.1

Last pushed about 9 hours by mathcompuser

docker pull mathcomp/mathcomp-dev:rocq-prover-9.1
DigestOS/ARCHCompressed size

ecd2ba173d39

linux/amd64

2.37 GB

TAG

rocq-prover-9.0

Last pushed 3 months by mathcompuser

docker pull mathcomp/mathcomp-dev:rocq-prover-9.0
DigestOS/ARCHCompressed 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
DigestOS/ARCHCompressed 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
DigestOS/ARCHCompressed size

25bf0158ca23

linux/amd64

2.02 GB