folproof

Demo

Take it for a test drive: cdibbs.github.io/folproof

Building

1. If you don't have node and npm installed, please install it.

• Visit here, for more details.

1. Run npm install to install the libraries FOLProof needs.
2. Run make.

Installing (Optional)

If you'd like to run FOLProof in a shell, then proceed, here:

1. Install the build dependencies (node, npm, etc).
2. Within the folproof root directory, run sudo npm -g install.

• This should install shell dependencies, like nomnom and path.

Running

There are several ways to run FOLProof:

1. From the shell

• After installation: type folproof [your-proof].fol, from anywhere.
• Without installation: type node cli.js [your-proof].fol, from within the folproof directory.

1. From the web

• Please look in the included index.html for an example of how to use FOLProof in a website.
• You can test the included index.html at the demo site.

Architecture Overview

• folproof-parser.js - built automatically from ./src/parser/folproof-parser.jison and folproof-parser.jisonlex
• folproof-web.js - renders proof ASTs to HTML. Requires JQuery
• folproof-verifier.js - verifies proofs from ASTs (built from /src/*.js)
• cli.js - a short script to run verifier.js, from within a shell.
• index.html - provides a test interface