2LTT Playground

Introduction

This is a playground for our implementation of the 2LTT formal system. It is based on the 2LTT paper.

First compile the wasm module:

cd wasm
wasm-pack build

Then install the npm dependencies:

cd ..
npm install

Finally, run the app:

npm start

or build it:

npm run build