acl2
Install from the command line
Learn more about packages
$ docker pull ghcr.io/mister-walter/acl2:latest
Recent tagged image versions
- 1 Version downloads
- 138 Version downloads
Loading
Sorry, something went wrong.
Details
- mister-walter
- acl2-docker
- MIT License
- 4 stars
Last published
28 days ago
Issues
1
Total downloads