proof-pad
A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic
9 stars
1 watching
2 forks
Language: TypeScript
last commit: 3 months ago proof-pad A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic