isolation-check Repo for extending Crooks' Isolation to support multi-level transactions. TLA+ code in Jupiter Notebook. Runable in binder online: Run locally using docker-compose: docker-compose up. Cmd-click the url in the output logs.
