User Tools
tla:repl:start
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
tla:repl:start [2018/08/30 17:27] jonathan |
tla:repl:start [2019/08/26 02:11] (current) jonathan |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== TLA+_REPL ====== | ====== TLA+_REPL ====== | ||
| + | |||
| + | [[https://github.com/will62794/tlaplus_repl|github source]] | ||
| A session on the EECS Linux servers: | A session on the EECS Linux servers: | ||
| <code> | <code> | ||
| - | > tlaplus_repl157 | + | > tlaplus_repl160 |
| ------------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------- | ||
| Welcome to the TLA+ REPL! This REPL uses the TLC model checker | Welcome to the TLA+ REPL! This REPL uses the TLC model checker | ||
tla/repl/start.1535650074.txt.gz · Last modified: 2018/08/30 17:27 by jonathan
Page Tools
