Skip to content
| Marketplace
Sign in
Visual Studio Code>Other>tamarinNew to Visual Studio Code? Get it now.
tamarin

tamarin

leon

|
1,221 installs
| (1) | Free
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

Tamarin Prover Syntax for VSCode

An extension for highlighting tamarin-prover.

Also include some snippets to smooth developing

see http://tamarin-prover.github.io/

  • Contact us
  • Jobs
  • Privacy
  • Manage cookies
  • Terms of use
  • Trademarks
© 2025 Microsoft