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

8926042749c7

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

f501e9143464

linux/amd64

2.42 GB

TAG

rocq-prover-9.2

Last pushed 1 day 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 1 day 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