acl2-bridge (pypi): Connect to an ACL2 Server from Python
Keywords: ACL2|theorem|proving|verification