tlaplus-jupyter (pypi): Jupyter kernel for TLA⁺
Keywords: jupyter|tla|tlaplus|pluscal|jupyter-kernel|model-checking