Sign inSign up

mathcomp/mathcomp-dev

By mathcomp

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

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

8c40a29d6127

linux/amd64

2.68 GB

TAG

rocq-prover-9.3

Last pushed about 2 hours by mathcompuser

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

8cf076c44281

linux/amd64

2.41 GB

TAG

rocq-prover-9.2

Last pushed about 3 hours by mathcompuser

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

561858dd6928

linux/amd64

2.38 GB

TAG

rocq-prover-9.1

Last pushed about 3 hours by mathcompuser

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

866bb46cb6be

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