Tree-sitter grammar and syntax highlight for the Tamarin Prover theory files
Primary LanguageCMIT LicenseMIT