If you want to work on Ensimag computers, in order to launch Tamarin  Docker Container Image, you have to execute:

singularity run /matieres/WMM9SY03/tamarin-docker_latest.sif

Then open your browser at address:  http://127.0.0.1:3001 or http://127.0.0.2:3001
A first example to consider is the 'tutorial example' available from this course website.

------------------------------------------------------------------------


Tamarin non-interactive mode:
   tamarin-prover YourExample.spthy
   
Tamarin interactive mode:
   tamarin-prover  interactive YourExample.spthy

   
Tamarin interactive mode that allows to generate (when it is  possible) automatically the "sources lemma": 
   tamarin-prover  interactive  --auto-sources YourExample.spthy
 

Tamarin "equivalence"  mode:
   tamarin-prover  interactive --diff YourExample.spthy