calebegg / proof-pad

A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic
10Updated 8 months ago

Alternatives and similar repositories for proof-pad:

Users that are interested in proof-pad are comparing it to the libraries listed below