japgolly/tla2json

Convert TLA+ output (and values) into JSON

语言：Scala · GitHub 星标：29 · Fork：2

话题：json · tla · tla-plus · tlaplus · tlc

在 GitHub 上查看原仓库