PyPI page
Home page
Author:
Luca Mandrelli
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:
2
Downloads last week:
22
Downloads last month:
457
7-day smoothing