Sign inSign up

uwyo/acl2

By uwyo

•Updated over 6 years ago

The theorem prover ACL2 running on Ubuntu

Image
0

1.1K

Tags for uwyo/acl2

Sort by

TAG

8.3

Last pushed over 6 years by rubengamboa

docker pull uwyo/acl2:8.3
DigestOS/ARCHCompressed size

f3e879038eac

linux/amd64

376.92 MB

TAG

8.3-basic

Last pushed over 6 years by rubengamboa

docker pull uwyo/acl2:8.3-basic
DigestOS/ARCHCompressed size

f3e879038eac

linux/amd64

376.92 MB

TAG

latest

Last pushed over 6 years by rubengamboa

docker pull uwyo/acl2:latest
DigestOS/ARCHCompressed size

f3e879038eac

linux/amd64

376.92 MB

TAG

latest-basic

Last pushed over 6 years by rubengamboa

docker pull uwyo/acl2:latest-basic
DigestOS/ARCHCompressed size

f3e879038eac

linux/amd64

376.92 MB

TAG

latest-all

Last pushed over 6 years by rubengamboa

docker pull uwyo/acl2:latest-all
DigestOS/ARCHCompressed size

56ccfa0b2847

linux/amd64

1017.23 MB

TAG

8.3-all

Last pushed over 6 years by rubengamboa

docker pull uwyo/acl2:8.3-all
DigestOS/ARCHCompressed size

56ccfa0b2847

linux/amd64

1017.23 MB