japgolly / tla2json   1.0.1

Apache License 2.0 GitHub

Convert TLA+ output (and values) into JSON

Scala versions: 2.13

Latest version

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

JVM badge

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