proof-tree-builder

For the Z3 rule, we are using a version of Z3 compiled to WebAssembly, which we run in browser, thanks to Clément Pit-Claudel's z3.wasm project. For graphics, we use Fabric.js. To generate a parser from a grammar, we use PEG.js. There might still be some bugs so please report them by creating issues. Initially written as a class project for Fall 2018 COS516 with Prof. Zak Kincaid, later improved as a class project for Spring 2020 COS598B with Prof. Aarti Gupta. proof-tree-builder is the open-source project proof-tree-builder/proof-tree-builder.github.io (https://github.com/proof-tree-builder/proof-tree-builder.github.io) by proof-tree-builder, released under MIT. Ion packages it unmodified from commit d9445a9d63c2, adding only a manifest, an icon and a storage compatibility script.

Written by proof-tree-builder, published to Oikou by Ben Grande.

• ★ 41 stars on GitHub
• Licence: MIT
• Built from commit d9445a9d63c2

View the repository on GitHub

Not rated. Nobody has said who this app is suitable for, so Personal Clouds and the Oikou app treat it as 18+.

Internet

It asks to reach nothing on the internet.

Personal Cloud tools

• Keep a database of its own on your Personal Cloud ion.db

Notifications

It does not send push notifications.

Storage

Up to 16 MB on your Personal Cloud.

Sign in to add this web app to a Personal Cloud of yours. It runs there, on your own computer, and you open it from there; nothing is installed on your phone.

Sign in to add