Jupyter Kernel for ACL2
Jupyter Notebook4other
3 months ago
acl2jupyterjupyter-kernel
A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github
TypeScript9apache-2.0
4 months ago