yoshihiro503/mathcomp-analysis

•Updated 16 days ago

Docker images of MathComp Analysis library for the Rocq prover

Image

Languages & frameworks

Developer tools

2.9K

Tags for yoshihiro503/mathcomp-analysis

Sort by

TAG

1.18.0-rocq-9.0

Last pushed 16 days by yoshihiro503

docker pull yoshihiro503/mathcomp-analysis:1.18.0-rocq-9.0

Digest	OS/ARCH	Compressed size
131cfea7cc21	linux/amd64	3.49 GB

TAG

1.17.0-rocq-9.0

Last pushed about 2 months by yoshihiro503

docker pull yoshihiro503/mathcomp-analysis:1.17.0-rocq-9.0

Digest	OS/ARCH	Compressed size
d1423b2decb0	linux/amd64	3.48 GB

TAG

1.16.0-rocq-9.0

Last pushed about 2 months by yoshihiro503

docker pull yoshihiro503/mathcomp-analysis:1.16.0-rocq-9.0

Digest	OS/ARCH	Compressed size
b891d03d109d	linux/amd64	3.48 GB

TAG

1.14.0-rocq-9.0

Last pushed 10 months by yoshihiro503

docker pull yoshihiro503/mathcomp-analysis:1.14.0-rocq-9.0

Digest	OS/ARCH	Compressed size
bad10885c6f3	linux/amd64	1.88 GB

TAG

1.12.0-rocq-9.0

Last pushed about 1 year by yoshihiro503

docker pull yoshihiro503/mathcomp-analysis:1.12.0-rocq-9.0

Digest	OS/ARCH	Compressed size
5ae9a4378926	linux/amd64	1.84 GB

TAG

1.12.0-coq-8.20-ocaml-4.14-flambda

Last pushed about 1 year by yoshihiro503

docker pull yoshihiro503/mathcomp-analysis:1.12.0-coq-8.20-ocaml-4.14-flambda

Digest	OS/ARCH	Compressed size
aeaa046882be	linux/amd64	2.35 GB

TAG

1.12-coq-8.20

Last pushed about 1 year by yoshihiro503

docker pull yoshihiro503/mathcomp-analysis:1.12-coq-8.20

Digest	OS/ARCH	Compressed size
d8be749a7a71	linux/amd64	2.32 GB