GitHub repository: JesseRap/Tableaux-Generator
Primary language: JavaScript
Created: 2015-10-28T23:13:33Z
Description: Tableaux generator for propositional logic