linwe2012 / tamarin Public

Notifications You must be signed in to change notification settings
Fork 9
Star 2

An vscode extension for highlighting tamarin-prover.

2 stars 9 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
syntaxes		syntaxes
.gitignore		.gitignore
README.md		README.md
icon.png		icon.png
package.json		package.json
snippets.json		snippets.json

Repository files navigation

Tamarin Prover Syntax for VSCode

An extension for highlighting tamarin-prover.

Also include some snippets to smooth developing

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

The extension can be found at VS Code Market Place: https://marketplace.visualstudio.com/items?itemName=leon.tamarin&ssr=false#overview

About

An vscode extension for highlighting tamarin-prover.

tamarin tamarin-prover

Report repository

Releases 1

Packages

No packages published