acl2-kernel

PyPI page
Home page
Author: TANIGUCHI Masaya
License: Apache-2.0
Summary: Jupyter Kernel for ACL2
Latest version: 0.3.1
Required dependencies: ipykernel | ipython | jupyter_client | pexpect | regex

Downloads last day: 18
Downloads last week: 28
Downloads last month: 72