acl2-jupyter (pypi): Jupyter Kernel for ACL2
Keywords: ACL2|theorem|proving|verification