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 最后一步将tlaplus_jupyter注册为系统中的Jupyter内核,并下载tla2tools.jar 。 之后,Jupyter可以照常启动: jupyter notebook 要创建新的TLA+笔记本,请单击“ New按钮,然后在下拉菜单中选择“TLA+”。 启用单元格内的行编号也很方便(“视