GitHub repository: JesseRap/Logic-Lab
Primary language: JavaScript
Description: Tableaux generator for propositional logic