com.github.japgolly.tla2json:tla2json_2.13 (maven): tla2json
Keywords: json|tla|tla-plus|tlaplus|tlc