japgolly / tla2json   1.0.1

Apache License 2.0 GitHub

Convert TLA+ output (and values) into JSON

Scala versions: 2.13
2 versions found for tla2json
1.0.1
3 years ago
Apache-2.0
JVM:
2.13
1.0.0
3 years ago
Apache-2.0
JVM:
2.13