GitHub repository: will62794/tlaplus_repl
Primary language: Python
Created: 2018-01-14T20:53:57Z
Description: A simple REPL for the TLA+ language, using the TLC model checker.