Tamarin Prover Extension for VSCode An extension for highlighting tamarin-prover syntax. Also include some snippets to smooth developing see http://tamarin-prover.github.io/