Proofpad
Apache-2.0TypeScript
A web IDE for ACL2 theorem proving with a Kubernetes-based backend, featuring a modern editor and REPL interface.
11 stars3 forks0 contributors
Overview
A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic
Related Projects
ACL2-kernelJupyter Kernel for ACL2
Stars8
Forks3
Last commit3 months ago
PVS, the Prototype Verification System, and NASAlib, a collection of formal development libraries
Stars0
Forks0
Last commit
Proceedings of the 19th International Workshop on the ACL2 theorem prover and its applications, 2025 (PDF)Stars0
Forks0
Last commit
ACL2a logic and programming language in which you can model computer systems, together with a tool to help you prove properties of those models
Stars0
Forks0
Last commit
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.