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.

Prerequisites

• Node.js
• MongoDB
• Standard ML of New Jersey
• Python3
• mip

Installing

The commands below should be run once.

Clone the repo

git clone [email protected]:meta-logic/sequoia.git

Installing the dependencies

cd sequoia
npm install
npm install bower
npx bower install

Running

Run mongoDB

mongod --dbpath .

Then, run the server

npm start

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