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

Community-curated · Updated weekly · 100% open source

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

Last commit

2 years ago

CreatedSince 2018

Auto-fetched 21 hours ago

Jupyter Kernel for ACL2

, the Prototype Verification System, and NASAlib, a collection of formal development libraries

a logic and programming language in which you can model computer systems, together with a tool to help you prove properties of those models