tlaplus_jupyter notebook with the exercises from Learn TLA+.
Can be run in Binder or locally, either with Docker or by running these commands to install tlaplus_jupyter and a notebook extension for hiding the exercise solutions:
pip install tlaplus_jupyter jupyter_contrib_nbextensions
jupyter contrib nbextension install --user
jupyter nbextension enable exercise2/main
python -m tlaplus_jupyter.install
docker-compose up --build notebook
Open the provided http link in your browser