A web application that generates an analytical tableaux for a given formula of propositional logic to prove whether it is a tautology or not
timgrei / smullyantree Goto Github PK
View Code? Open in Web Editor NEWA web application that generates an analytical tableaux for a given formula of propositional logic to prove whether it is a tautology or not