japgolly / tla2json   1.0.1

Apache License 2.0 GitHub

Convert TLA+ output (and values) into JSON

Scala versions: 2.13
Found 1 artifact
tla2json 1.0.1
3 years ago
Apache-2.0
JVM:
2.13