Help

System theme

Docker Suite

atwalter/acl2

•Updated over 1 year ago

The ACL2 System

Image

1

1.8K

Tags for atwalter/acl2

Sort by

TAG

Last pushed over 1 year by atwalter

docker pull atwalter/acl2:8.6

Digest	OS/ARCH	Compressed size
5ca65faf2eb4	linux/amd64	497.24 MB
1a1f98d5d3d8	linux/arm64	486 MB

TAG

Last pushed over 1 year by atwalter

docker pull atwalter/acl2:latest

Digest	OS/ARCH	Compressed size
49d3efdb9ce7	linux/amd64	499.81 MB
58e7804fa4b4	linux/arm64	488.63 MB

TAG

Last pushed almost 2 years by atwalter

docker pull atwalter/acl2:fa24

Digest	OS/ARCH	Compressed size
1dcdf2265b2c	linux/amd64	491.83 MB

TAG

Last pushed almost 2 years by atwalter

docker pull atwalter/acl2:8.5

Digest	OS/ARCH	Compressed size
c3d06df74746	linux/amd64	462.73 MB

TAG

Last pushed almost 2 years by atwalter

docker pull atwalter/acl2:8.4

Digest	OS/ARCH	Compressed size
371ab058249e	linux/amd64	447.36 MB

TAG

Last pushed almost 2 years by atwalter

docker pull atwalter/acl2:8.3

Digest	OS/ARCH	Compressed size
506d943f0efc	linux/amd64	360.55 MB

TAG

Last pushed almost 2 years by atwalter

docker pull atwalter/acl2:8.2

Digest	OS/ARCH	Compressed size
227dc990eb84	linux/amd64	318.09 MB

TAG

Last pushed almost 4 years by atwalter

docker pull atwalter/acl2:cs2800fa22

Digest	OS/ARCH	Compressed size
97e20b455385	linux/amd64	434.42 MB

TAG

Last pushed over 4 years by atwalter

docker pull atwalter/acl2:ccl-latest

Digest	OS/ARCH	Compressed size
b5b53312d9d7	linux/amd64	384.55 MB

TAG

Last pushed over 4 years by atwalter

docker pull atwalter/acl2:cs2800sp21

Digest	OS/ARCH	Compressed size
07d1d4c07728	linux/amd64	618.29 MB

TAG

Last pushed over 6 years by atwalter

docker pull atwalter/acl2:latest-sbcl-2

Digest	OS/ARCH	Compressed size
8bfa286415bf	linux/amd64	393.21 MB