/tamarin

An vscode extension for highlighting tamarin-prover.

Watchers