tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
- ATK
- 2455
- DEF
- 3768
Common
tlaplus/tlaplus
Common · Base · GenesisTLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Attack2,455
Defense3,768
Drag the card to turn it. Use the flip button to see the back.
Open card page