Logic Manual Natural Deduction Proof Assistant (Written In Svelte)

This website is a teaching tool which uses the L∃∀N Interactive Proof Assistant in order to facilitate better understanding of the ND Proof Systems for Sentential Logic and First-Order Logic.

Instructions

To build and run this project, you must have an up-to-date version of the Node Package Manager installed on your system. Assuming that npm is installed correctly, you must then(in the project directory) run the command:

npm i

and then:

npm run dev

Then, in your browser, navigate to

http://localhost:8080/