ajdavis/2021-jesse-samy-tlaplus

Source for Interactive TLA+ talk at 2021 TLA+ Conference

Files for A. Jesse Jiryu Davis and Samy Lanka's presentation "Interactive TLA+"
at the 2021 TLA+ Conference.

https://conf.tlapl.us/2021/jessesamy/