Skip to content

kontrol/kontrol-mantle-workshop

Install from the command line
Learn more about packages
$ docker pull ghcr.io/runtimeverification/kontrol/kontrol-mantle-workshop:v1

Recent tagged image versions

  • v1
    Published about 2 months ago · Digest
    sha256:4a25ce7ed4118727b46c53b6bb48e03bf5a5689bc489824ae98b71c870888f59
    2 Version downloads

Loading

Last published

2 months ago

Total downloads

2