Sign inSign up

mathcomp/mathcomp-dev

By mathcomp

•Updated 18 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-9.3

Last pushed 18 minutes by mathcompuser

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

fb804082bbe5

linux/amd64

2.41 GB

TAG

rocq-prover-dev

Last pushed 20 minutes by mathcompuser

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

acde57ee616e

linux/amd64

2.68 GB

TAG

rocq-prover-9.2

Last pushed 4 days by mathcompuser

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

90d79b82d78c

linux/amd64

2.38 GB

TAG

rocq-prover-9.1

Last pushed 4 days by mathcompuser

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

791d1dd647d2

linux/amd64

2.37 GB

TAG

rocq-prover-9.0

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