A proof of concept for creating natural deduction with an editor.
- Clone the repository with
git clone https://github.com/d471061c/naturaldeduction.git - Install packages with
npm install - Run the application with
npm start - Go to http://localhost:8080