atwalter/acl2s

By atwalter

•Updated over 1 year ago

The ACL2 Sedan theorem prover

Image

1.7K

Overview Tags

Tags for atwalter/acl2s

Sort by

TAG

8.6

Last pushed over 1 year by atwalter

docker pull atwalter/acl2s:8.6

Digest	OS/ARCH	Compressed size
eb6ad745b115	linux/amd64	593.51 MB
db19bcac9679	linux/arm64	581.8 MB

TAG

latest

Last pushed over 1 year by atwalter

docker pull atwalter/acl2s:latest

Digest	OS/ARCH	Compressed size
6949792251f7	linux/amd64	596.33 MB
2a4b67fae899	linux/arm64	584.95 MB

TAG

fa24

Last pushed almost 2 years by atwalter

docker pull atwalter/acl2s:fa24

Digest	OS/ARCH	Compressed size
e83e394f2c57	linux/amd64	585.21 MB

TAG

8.4

Last pushed almost 2 years by atwalter

docker pull atwalter/acl2s:8.4

Digest	OS/ARCH	Compressed size
b759f9b56af7	linux/amd64	536.02 MB

TAG

8.3

Last pushed almost 2 years by atwalter

docker pull atwalter/acl2s:8.3

Digest	OS/ARCH	Compressed size
85a0461ff332	linux/amd64	452.58 MB

TAG

8.2

Last pushed almost 2 years by atwalter

docker pull atwalter/acl2s:8.2

Digest	OS/ARCH	Compressed size
8160a066dbc2	linux/amd64	398.42 MB

TAG

8.5

Last pushed over 3 years by atwalter

docker pull atwalter/acl2s:8.5

Digest	OS/ARCH	Compressed size
5492d2cb6351	linux/amd64	539.08 MB

TAG

itp2023

Last pushed over 3 years by atwalter

docker pull atwalter/acl2s:itp2023

Digest	OS/ARCH	Compressed size
c0bc69644318	linux/amd64	540.01 MB

TAG

cs2800fa22

Last pushed almost 4 years by atwalter

docker pull atwalter/acl2s:cs2800fa22

Digest	OS/ARCH	Compressed size
e2ae6fe1a458	linux/amd64	530.96 MB

TAG

jan22

Last pushed over 4 years by atwalter

docker pull atwalter/acl2s:jan22

Digest	OS/ARCH	Compressed size
3582dc872c95	linux/amd64	609.63 MB

TAG

cs2800sp21

Last pushed over 4 years by atwalter

docker pull atwalter/acl2s:cs2800sp21

Digest	OS/ARCH	Compressed size
2d2afabee27e	linux/amd64	713.3 MB

TAG

latest-sbcl-2

Last pushed over 6 years by atwalter

docker pull atwalter/acl2s:latest-sbcl-2

Digest	OS/ARCH	Compressed size
71c2e193a193	linux/amd64	489.87 MB