Sign inSign up

rubengamboa/acl2r

By rubengamboa

•Updated about 4 years ago

The theorem prover ACL2(r) running on Ubuntu

Image
0

10K+

Tags for rubengamboa/acl2r

Sort by

TAG

8.5

Last pushed about 4 years by rubengamboa

docker pull rubengamboa/acl2r:8.5
DigestOS/ARCHCompressed size

87b351856072

linux/amd64

1.69 GB

TAG

latest

Last pushed about 4 years by rubengamboa

docker pull rubengamboa/acl2r:latest
DigestOS/ARCHCompressed size

87b351856072

linux/amd64

1.69 GB

TAG

8.3

Last pushed over 5 years by rubengamboa

docker pull rubengamboa/acl2r:8.3
DigestOS/ARCHCompressed size

a5ffd25242a4

linux/amd64

722.75 MB