用于ACL2的Jupyter内核
acl2-kernel的Python项目详细描述
acl2内核
用于ACL2的Jupyter内核
什么是Jupyter和ACL2？在
Project Jupyter exists to develop open-source software, open-standards, and services for interactive computing across dozens of programming languages. (https://jupyter.org/)
ACL2 is a logic and programming language in which you can model computer systems, together with a tool to help you prove properties of those models. "ACL2" denotes "A Computational Logic for Applicative Common Lisp". (http://www.cs.utexas.edu/users/moore/acl2/)
使用
$ pip3 install jupyter acl2-kernel $ python3 -m acl2_kernel.install $ jupyter noteboook
在example/目录中有一个正在运行的示例。
你可以试试。在
相关项目
许可证
此项目是根据BSD 3条款许可发布的。在
版权所有（c）2020，TANIGUCHI Masaya保留所有权利。在
我们从以下项目中借用代码。在
- Egison Kernel；版权所有（c）2017，Satoshi Egi和贡献者保留所有权利。在
- Bash Kernel；版权所有（c）2015，Thomas Kluyver and contributors保留所有权利。在
- 项目
标签：
欢迎加入QQ群-->： 979659372
