tamarin-prover.tamarin-prover

tamarin-prover

Total downloads

1,558

7d gain

14

Rolling weekly delta

Rating

- / 5

0 reviews

Version

1.2.0

Latest published

Activity

Extension trends

Manifest

Metadata

Namespace: tamarin-prover
Name: tamarin-prover
License: MIT
Homepage: https://github.com/tamarin-prover/vscode-tamarin#readme
Repository: https://github.com/tamarin-prover/vscode-tamarin.git
Reviews: 0

Taxonomy

Categories

Programming Languages Snippets Extension Packs

Archive

Release history

5 latest releases