Rare find

tla2json. Convert TLA+ output (and values) into JSON

github.com/japgolly/tla2json

by

@japgolly

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.