Sign inSign up

mathcomp/mathcomp-dev

By mathcomp

•Updated about 6 hours 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 about 6 hours by mathcompuser

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

fcd083ccc3d9

linux/amd64

2.69 GB

TAG

rocq-prover-9.3

Last pushed about 6 hours by mathcompuser

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

e4dc1b4a9fed

linux/amd64

2.41 GB

TAG

rocq-prover-9.2

Last pushed 2 days by mathcompuser

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

119bf8e8e14a

linux/amd64

2.37 GB

TAG

rocq-prover-9.1

Last pushed 2 days by mathcompuser

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

8dfbffe795b8

linux/amd64

2.36 GB

TAG

rocq-prover-9.0

Last pushed about 1 month 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 11 months 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