PyPI page
Home page
Author:
None
Summary:
Tree-sitter parser for Spthy language (Tamarin Prover)
Latest version:
1.2.2
Required dependencies:
tree-sitter
Optional dependencies:
black
|
flake8
|
pytest
Downloads last day:
3
Downloads last week:
186
Downloads last month:
278