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:
4
Downloads last week:
65
Downloads last month:
76
7-day smoothing