文件名称:
tlaplus_jupyter:适用于TLA的Jupyter内核-源码
开发工具:
文件大小: 17kb
下载次数: 0
上传时间: 2021-03-17
详细说明：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⁺”。 启用单元格内的行编号也很方便（“视
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
