A highly experimental personal script for running TLA+/TLC from the command line
Latest commits.
Builders behind this project.
