Semantic-Tableaux-Method-for-Propositional-Logic # install dependencies npm install # start the application npm start filename.txt (default is "input.txt")