proof-pad

A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic

APACHE-2.0 License

Stars
9
View Code on GitHub Visit Website View on X
Ecosystems: TypeScript

No README available, please check again later.

Related Projects
cors-playground

04 Oct 2021 41
joshcs-lol

19 Jul 2022 3
tina-cloud-starter-20220531

31 May 2022 0
jali

Semantics-driven serverless microservice DevOps framework and infrastructure

03 Nov 2015 1
front

mirror of https://gitlab.com/minds/front

25 Nov 2015 166
NodeTyped

Node.js Express Startup Seed with ES6, Typescript, SCSS, EJS, Nodemon, Bootstrap 4, TSLint, TypeDoc

10 Apr 2016 71
openai-cli

29 Jan 2023 2
tina-cloud-starter-20240301-app

06 Mar 2024 0
z-cam-e2

21 Apr 2020 1
css-app-frontend

22 Jul 2022 3
nonlatinchars

21 Apr 2023 0
tina-cloud-starter-vercel-hackathon

14 Dec 2022 0
allo-contract-sandbox

19 May 2023 1
awesome-typescript

A collection of awesome TypeScript resources for client-side and server-side development

16 Sep 2018 3,880
tina-cloud-starter-20221213

13 Dec 2022 0