Geeks
japgolly
/
tla2json
Convert TLA+ output (and values) into JSON
Primary Language
Scala
Apache License 2.0
Apache-2.0
tla2json GitHub
Markdown
Readme
1
Issue
22
Stargazers
3
Watchers
Issues
Closed issue
Issue parsing error trace as exported by toolbox.
#1 opened
3 years ago
by
danwt
7