This workshop assumes that you have recently completed Workshop: Rental Agreement.
In this workshop, we generalize from the tutorial and the rental workshop to build an abstract library that models any game with simultaneous play. This shows the power of Reach’s ability to construct and reason about communication abstractions.
This page is a placeholder for a future more detailed workshop. You could try to implement yourself though, given the sketch above! If you’d like to see a draft version of our code, please visit examples/abstract-simul in our GitHub repository