Proof Pad

A web IDE for ACL2 using a Kubernetes based backend. Evolution of
Alternatives To Proof Pad
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
4 years ago1mitPython
A series of Kubernetes walk-throughs
6 days ago11apache-2.0Go
Evolution process of The Falco Project
9 months ago50apache-2.0Go
A CLI for managing declarative infrastructure.
2 years agoapache-2.0Python
Run evolution strategies on Google Kubernetes Engine
Proof Pad7
a month ago2apache-2.0TypeScript
A web IDE for ACL2 using a Kubernetes based backend. Evolution of
Microservice Realm6
3 years agomit
A blog about it's own development and evolution running on kubernetes.
2 years ago7mitC#
Distributed multiplayer sandbox evolution simulation
Kube Es Starter3
5 years agoapache-2.0Shell
Machine Learning in Azure & Kubernetes using OpenAI Gym/RoboSchool and Evolution Strategies
Alternatives To Proof Pad
Select To Compare

Alternative Project Comparisons

Proof Pad

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

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

Deploying the backend

  1. Download ACL2
  2. Unzip to ./acl2_image
  3. Run:
$ docker build -t .
$ gcloud docker -- push
Popular Evolution Projects
Popular Kubernetes Projects
Popular Science Categories
Related Searches

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.