This is a faculty project made for learning purposes. The project represents a simple command line proof assistant for natural deduction.
- Install Node.js (version >= 6.5).
- Install TypeScript with
npm install -g typescript
.
- Download a repo to your machine and navigate with command line to it.
- Execute
npm install
to install dependencies. - Exectue
npm restart
to recompile and start application ornpm start
to start application without recompilation.
MIT