Logic and Semantics @ Aarhus University
iris-tutorial/docker-arm64 latest Public Latest
Install from the command line
Learn more about packages
$ docker pull ghcr.io/logsem/iris-tutorial/docker-arm64:latest
Recent tagged image versions
- 3 Version downloads
Loading
Sorry, something went wrong.
Last published
1 month ago
Total downloads