Proof Pad

Name: calebegg/proof-pad
Brand: calebegg/proof-pad
SKU: project/calebegg/proof-pad
Rating: 4.42 (7 reviews)

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.

This is not an official Google product.

Deploying the frontend

Run rm -r dist grammar && ./grammar.sh && npx parcel build index.html
Copy the contents of dist to Google Cloud Storage

Deploying the backend

Download ACL2
Unzip to ./acl2_image
Run:

$ docker build -t gcr.io/proof-pad/acl2:v3 .
$ gcloud docker -- push gcr.io/proof-pad/acl2:v3

Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Ks	222	4 years ago	1	mit	Python
A series of Kubernetes walk-throughs
Evolution	40	6 days ago	11	apache-2.0	Go
Evolution process of The Falco Project
Airshipctl	37	9 months ago	50	apache-2.0	Go
A CLI for managing declarative infrastructure.
Es_on_gke	32	2 years ago		apache-2.0	Python
Run evolution strategies on Google Kubernetes Engine
Proof Pad	7	a month ago	2	apache-2.0	TypeScript
A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic
Microservice Realm	6	3 years ago		mit
A blog about it's own development and evolution running on kubernetes.
Niwrad	6	2 years ago	7	mit	C#
Distributed multiplayer sandbox evolution simulation
Kube Es Starter	3	5 years ago		apache-2.0	Shell
Machine Learning in Azure & Kubernetes using OpenAI Gym/RoboSchool and Evolution Strategies