Visual Logic is a tool for formal logic by manipulating Existential Graphs.
Read more about using it under the wiki
Start by cloning the project, installing dependencies and then run the page locally.
Dependencies are managed by npm, currently the following packages are used:
- Jest - used for testing
- serve - used to run a local development server
- babel - used to allow Jest to run with ESM
- eslint - used for JS linting
Installing dependencies. From the root directory of the project run the command:
npm installViewing the application locally
npx serveThe above command will start a local server, copy the URL the project is locally hosted at and view the application in a web browser.
To run the test suite and generate coverage, run:
npm testIndividual files can be run by:
npm test -- tests/foo.test.jsThe linter can be run with the command:
npm run lintSome errors can be fixed automatically by eslint by running the command
npm run lint:fix