Skip to content
This repository has been archived by the owner on Jul 13, 2020. It is now read-only.

Latest commit

 

History

History
10 lines (8 loc) · 384 Bytes

README.md

File metadata and controls

10 lines (8 loc) · 384 Bytes

Natural Deduction

Maintenance

A proof of concept for creating natural deduction with an editor.

Development setup

  1. Clone the repository with git clone https://github.com/d471061c/naturaldeduction.git
  2. Install packages with npm install
  3. Run the application with npm start
  4. Go to http://localhost:8080