acl2-kernel (pypi): Jupyter Kernel for ACL2
Keywords: acl2|jupyter|jupyter-kernel|theorem-prover