/datx02

Kandidatarbete om natural deduction för propositional/first-order logic

Primary LanguagePureScriptGNU General Public License v3.0GPL-3.0

Proof Editor for Natural Deduction

Build and deploy

Installation

  1. Install NodeJS and NPM.

  2. Install the PureScript compiler (purs) and the package manager Spago

    npm install --global purescript spago

  3. Run npm install to fetch dependencies

  4. spago install