You can run Web-Fitch locally via
npm run dev
Node.js will then start a for-development-only webserver and show the port under which it can be accessed. You can then access it via your browser.
We use Peggy to generate a parser for FOL sentences. The grammar is defined in src/fitch/grammar.peggy. To (re-)generate the parser use
npm run parser
We use Vitest test our application. You can run the tests via
npm run test