protocol-verification-refinement-tamarin latest Public Latest

Install from the command line


    
  
      
      $ docker pull ghcr.io/viperproject/protocol-verification-refinement-tamarin:latest

linux/amd64


      
  
      
        $ docker pull ghcr.io/viperproject/protocol-verification-refinement-tamarin:latest@sha256:831077a60c943a23415ec0d9ee5d8a485dbb59a282ce5f21d55f48acd25d54b7

unknown/unknown


      
  
      
        $ docker pull ghcr.io/viperproject/protocol-verification-refinement-tamarin:latest@sha256:d4cb958e4635377903e68696f3761ec037c504e469ed1039d4e2ac0cd3154e5b