Sign inSign up

rubengamboa/acl2

By rubengamboa

•Updated about 4 years ago

The theorem prover ACL2 running on Ubuntu

Image
0

331

Tags for rubengamboa/acl2

Sort by

TAG

latest

Last pushed about 4 years by rubengamboa

docker pull rubengamboa/acl2:latest
DigestOS/ARCHCompressed size

6be5ee5518d0

linux/amd64

1.68 GB

TAG

8.5

Last pushed about 4 years by rubengamboa

docker pull rubengamboa/acl2:8.5
DigestOS/ARCHCompressed size

6be5ee5518d0

linux/amd64

1.68 GB

TAG

8.3

Last pushed over 5 years by rubengamboa

docker pull rubengamboa/acl2:8.3
DigestOS/ARCHCompressed size

23ade4d9c0cd

linux/amd64

765.5 MB