acl2-kernel

Jupyter Kernel for ACL2

Jupyter Notebook4other

3 months ago

acl2jupyterjupyter-kernel

proof-pad

A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github

TypeScript9apache-2.0

4 months ago