zed-tamarin
Syntax highlighting for Tamarin files (.spthy) in Zed editor. This is ported from the official Tamarin Visual Studio Code extension (tamarin-prover/vscode-tamarin).
Tamarin
v1.12.0Syntax highlighting for Tamarin.
Updated 5 months ago
Syntax highlighting for Tamarin.
Syntax highlighting for Tamarin files (.spthy) in Zed editor. This is ported from the official Tamarin Visual Studio Code extension (tamarin-prover/vscode-tamarin).