4 ms·
Very cool! I found a TLA+ implementation of the problems https://github.com/cobusve/TLAPLUS_DeadlockEmpire https://github.com/cobusve/TLAPLUS_DeadlockEmpire th
by philzook 5y ago
Very cool!
I found a TLA+ implementation of the problems https://github.com/cobusve/TLAPLUS_DeadlockEmpire https://github.com/cobusve/TLAPLUS_DeadlockEmpire that I've been meaning to look at more carefully for a while.