GitHub repository: kelvich/tlaplus_jupyter
Primary language: Python
Description: Jupyter kernel for TLA⁺