文件名称：tlaplus_jupyter:适用于TLA的Jupyter内核
文件大小：17KB
文件格式：ZIP
更新时间：2024-04-05 18:33:04
model-checking tla jupyter-kernel Python
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⁺”。 启用单元格内的行编号也很方便（“视
【文件预览】：
tlaplus_jupyter-master
----setup.py(1KB)
----tlaplus_jupyter()
--------__init__.py(55B)
--------assets()
--------kernel.py(10KB)
--------install.py(2KB)
--------__main__.py(129B)
----.gitignore(69B)
----Dockerfile(502B)
----.travis.yml(181B)
----MANIFEST.in(59B)
----LICENSE(2KB)
----examples()
--------intro.ipynb(5KB)
----README.md(4KB)
----tests()
--------__init__.py(0B)
--------test_notebook.py(1KB)
--------testnb.ipynb(2KB)
----appveyor.yml(192B)