Logic and Semantics @ Aarhus University

iris-tutorial/docker-arm64

Install from the command line

Learn more about packages


    
  
      
      $ docker pull ghcr.io/logsem/iris-tutorial/docker-arm64:latest

Recent tagged image versions

latest

Published 26 days ago · Digest
sha256:827397a555a06b159f432948413ecae52b14060a537b3010affa03c519f7abc7

4 Version downloads

View all tagged versions

Loading

Last published

26 days ago

Total downloads

4