proof-pad

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

Search similar apps

    License

    Apache License 2.0

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

    Creator

    calebegg

    Related apps