Alright man, I think you need a public push to go and embrace TLA :) Here is the bakery algorithm from the tlaps examples: https://github.com/cartazio/tlaps/b

Alright man, I think you need a public push to go and embrace TLA :) Here is the bakery algorithm from the tlaps examples: https://github.com/cartazio/tlaps/blob/master/examples/Bakery.tla https://github.com/cartazio/tlaps/blob/master/examples/Baker...