PyPI page
Home page
Author:
Andrew Helwer, Vasiliy Morkovkin
License:
MIT
Summary:
A tree-sitter grammar for TLA⁺ and PlusCal
Latest version:
1.5.0
Optional dependencies:
tree-sitter
Downloads last day:
242
Downloads last week:
1,100
Downloads last month:
5,158