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
