eldesh/coq

By eldesh

•Updated about 5 years ago

A Formal Proof Management System.

Image

3.9K

Overview Tags

Tags for eldesh/coq

Sort by

TAG

8.13.2

Last pushed about 5 years by eldesh

docker pull eldesh/coq:8.13.2

Digest	OS/ARCH	Compressed size
d978bfd6e2f4	linux/amd64	2.03 GB

TAG

8.13.1

Last pushed about 5 years by eldesh

docker pull eldesh/coq:8.13.1

Digest	OS/ARCH	Compressed size
b9fd485e5ab1	linux/amd64	2.03 GB

TAG

8.13.0

Last pushed about 5 years by eldesh

docker pull eldesh/coq:8.13.0

Digest	OS/ARCH	Compressed size
f7d81af39dd7	linux/amd64	2.03 GB

TAG

8.12.2

Last pushed about 5 years by eldesh

docker pull eldesh/coq:8.12.2

Digest	OS/ARCH	Compressed size
e4a9fa2494b3	linux/amd64	2.03 GB

TAG

8.12.1

Last pushed about 5 years by eldesh

docker pull eldesh/coq:8.12.1

Digest	OS/ARCH	Compressed size
a83de4f2bf79	linux/amd64	2.03 GB

TAG

8.12.0

Last pushed about 5 years by eldesh

docker pull eldesh/coq:8.12.0

Digest	OS/ARCH	Compressed size
c2d7d00b0d4a	linux/amd64	2.03 GB

TAG

8.11.2

Last pushed about 5 years by eldesh

docker pull eldesh/coq:8.11.2

Digest	OS/ARCH	Compressed size
549448752cbe	linux/amd64	2.01 GB

TAG

8.11.1

Last pushed about 5 years by eldesh

docker pull eldesh/coq:8.11.1

Digest	OS/ARCH	Compressed size
31a018ce559f	linux/amd64	2.01 GB

TAG

8.11.0

Last pushed about 5 years by eldesh

docker pull eldesh/coq:8.11.0

Digest	OS/ARCH	Compressed size
ee6b3bd51448	linux/amd64	2.01 GB

TAG

8.10.2

Last pushed about 5 years by eldesh

docker pull eldesh/coq:8.10.2

Digest	OS/ARCH	Compressed size
5dd762d8d9d4	linux/amd64	2 GB

TAG

8.10.1

Last pushed about 5 years by eldesh

docker pull eldesh/coq:8.10.1

Digest	OS/ARCH	Compressed size
58b6c5333faf	linux/amd64	2 GB

TAG

8.10.0

Last pushed about 5 years by eldesh

docker pull eldesh/coq:8.10.0

Digest	OS/ARCH	Compressed size
c1a0aacc00f5	linux/amd64	2 GB

TAG

8.6pl1

Last pushed about 5 years by eldesh

docker pull eldesh/coq:8.6pl1

Digest	OS/ARCH	Compressed size
b8990c9d6cd4	linux/amd64	1.81 GB

TAG

8.9.1

Last pushed about 5 years by eldesh

docker pull eldesh/coq:8.9.1

Digest	OS/ARCH	Compressed size
7eb4a878635a	linux/amd64	1.88 GB

TAG

8.5pl3

Last pushed about 5 years by eldesh

docker pull eldesh/coq:8.5pl3

Digest	OS/ARCH	Compressed size
28192526f34c	linux/amd64	1.81 GB

TAG

8.9.0

Last pushed about 5 years by eldesh

docker pull eldesh/coq:8.9.0

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

TAG

8.5pl2

Last pushed about 5 years by eldesh

docker pull eldesh/coq:8.5pl2

Digest	OS/ARCH	Compressed size
3162a0d19163	linux/amd64	1.81 GB

TAG

8.8.2

Last pushed about 5 years by eldesh

docker pull eldesh/coq:8.8.2

Digest	OS/ARCH	Compressed size
d960e046fc98	linux/amd64	1.73 GB

TAG

8.5pl1

Last pushed about 5 years by eldesh

docker pull eldesh/coq:8.5pl1

Digest	OS/ARCH	Compressed size
c8419aaf0d3c	linux/amd64	1.81 GB

TAG

8.8.1

Last pushed about 5 years by eldesh

docker pull eldesh/coq:8.8.1

Digest	OS/ARCH	Compressed size
39ea0d17afaa	linux/amd64	1.81 GB

TAG

8.4pl6

Last pushed about 5 years by eldesh

docker pull eldesh/coq:8.4pl6

Digest	OS/ARCH	Compressed size
deca3be951d6	linux/amd64	1.7 GB

TAG

8.8.0

Last pushed about 5 years by eldesh

docker pull eldesh/coq:8.8.0

Digest	OS/ARCH	Compressed size
2088d535c20b	linux/amd64	1.81 GB

TAG

8.4pl5

Last pushed about 5 years by eldesh

docker pull eldesh/coq:8.4pl5

Digest	OS/ARCH	Compressed size
be7ad37d9d91	linux/amd64	1.7 GB

TAG

8.7.2

Last pushed about 5 years by eldesh

docker pull eldesh/coq:8.7.2

Digest	OS/ARCH	Compressed size
5929715ea7e4	linux/amd64	1.81 GB

TAG

8.4pl4

Last pushed about 5 years by eldesh

docker pull eldesh/coq:8.4pl4

Digest	OS/ARCH	Compressed size
656ac8dd3bd0	linux/amd64	1.72 GB