Propositional logic proof generator. Semantic tableaux generator. Tree method proof generator. Written in JS