GitHub repository: Alexander-N/tlaplus-exercises
Primary language: Jupyter Notebook
Description: Jupyter notebook with exercises from https://learntla.com