tlaplus_jupyter 适用于TLA⁺和Pluscal规范语言的Jupyter内核。 基于官方词法分析器的语法突出显示。 表达式的REPL功能。 可以使用Binder在线执行。 无需安装TLA工具箱：Java和Python就足够了。 安装 tlaplus_jupyter是可通过pip安装的python软件包。 支持Python 2和3。 要安装运行： pip install tlaplus_jupyter python -m tlaplus_jupyter.install 最