japgolly / tla2json 1.0.1

Apache License 2.0 GitHub

Convert TLA+ output (and values) into JSON

tla
tla-plus
tlaplus
tlc
json

Scala versions: 2.13

Latest version

[![tla2json Scala version support](https://index.scala-lang.org/japgolly/tla2json/tla2json/latest.svg)](https://index.scala-lang.org/japgolly/tla2json/tla2json)

JVM badge

[![tla2json Scala version support](https://index.scala-lang.org/japgolly/tla2json/tla2json/latest-by-scala-version.svg?platform=jvm)](https://index.scala-lang.org/japgolly/tla2json/tla2json)