Sequoia

Sequent calculus proof construction tool

Getting Started

These instructions will get you a copy of the project up and running on your local machine for development and testing purposes.

The commands below should be run once.

Clone the repo

git clone git@github.com:meta-logic/sequoia.git

Installing the dependencies

cd sequoia
npm install
npm install bower
npx bower install

Run mongoDB

mongod --dbpath .

Then, run the server

npm start

The application should now be running on localhost:8080/sequoia.