tamarin-prover/editors tamarin-prover/editors

  • Stars
    star
    2
  • Language
    Vim Script
  • License
    GNU General Publi...
  • Created about 6 years ago
  • Updated 9 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
tamarin-prover/editors
github

tamarin-prover

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Repository for text editor syntax highlighting

More Repositories

1

tamarin-prover

Main source code repository of the Tamarin prover for security protocol verification.
Haskell
407
star
2

teaching

Teaching materials related to the Tamarin Prover
62
star
3

manual

Tamarin prover manual: source files
JavaScript
24
star
4

tamarin-prover.github.io

Source repository for the tamarin-prover.github.io github pages.
HTML
5
star
5

homebrew-tap

Homebrew tap for installing the Tamarin prover
Ruby
4
star
6

editor-sublime

Repository for text editor (sublime) syntax highlighting
Python
1
star