How this analysis was created: This summary and feature list are AI-generated from collected project material and can contain mistakes. Stars, license and language are imported from GitHub. Inclusion does not mean that we have tested or audited this project. Check the source documentation for any feature you depend on. Learn more on our About page.
Proof Pad is a web based IDE for ACL2, using Google Kubernetes Engine to run ACL2 itself on the backend. Users can write and verify functions and theorems using a modern editor or a REPL interface. It's the evolution of the original Proof Pad project.
The main features of calebegg/proof-pad are: Theorem Provers.
Projects with overlapping indexed features include: nasa/pvslib — NASALib =. tani/acl2-kernel — Jupyter Kernel for ACL2.
