ahelwer / runway-tla-eval

Source files from an evaluation of the Runway formal specification system as it compares to TLA+

Geek Repo

Github PK Tool