search

tlaplus / Examples

A collection of TLA⁺ specifications of varying complexities
Other
1.29k stars 200 forks source link

Add spec modeling Tower of Hanoi puzzle as sequences #25

Closed Alexander-N closed 4 years ago

Alexander-N commented 4 years ago

As discussed in #9.