piwheels

acl2-kernel

Jupyter Kernel for ACL2

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install acl2-kernel

Dependencies

• ipython
• jupyter-client
• pexpect
• ipykernel
• regex

Releases

Version	Released	Bookworm Python 3.11	Trixie Python 3.13	Files
0.3.1	2021-12-06
acl2_kernel-0.3.1-py3-none-any.whl (6 KB)
0.3.0	2021-12-06
acl2_kernel-0.3.0-py3-none-any.whl (6 KB)
0.2.9	2021-12-06
acl2_kernel-0.2.9-py3-none-any.whl (6 KB)
0.2.8	2021-08-26
acl2_kernel-0.2.8-py3-none-any.whl (6 KB)
0.2.7	2021-08-25
acl2_kernel-0.2.7-py3-none-any.whl (6 KB)
0.2.6	2021-05-16
acl2_kernel-0.2.6-py3-none-any.whl (6 KB)
0.2.5	2021-05-14
acl2_kernel-0.2.5-py3-none-any.whl (6 KB)
0.2.4	2021-05-13
acl2_kernel-0.2.4-py3-none-any.whl (6 KB)
0.2.3	2021-05-12
acl2_kernel-0.2.3-py3-none-any.whl (6 KB)
0.2.2	2020-06-23
acl2_kernel-0.2.2-py3-none-any.whl (5 KB)
0.2.1	2020-06-23
acl2_kernel-0.2.1-py3-none-any.whl (5 KB)
0.2.0	2020-06-23
acl2_kernel-0.2.0-py3-none-any.whl (5 KB)
0.1.1	2020-06-23
acl2_kernel-0.1.1-py3-none-any.whl (5 KB)
0.1.0	2020-06-23
acl2_kernel-0.1.0-py3-none-any.whl (4 KB)

Issues with this package?

• Search issues for this package
• Package or version missing? Open a new issue
• Something else? Open a new issue