keithpetro / hatt Goto Github PK
View Code? Open in Web Editor NEWThis project forked from beastaugh/hatt
Truth-table generator for classical propositional logic
Home Page: http://extralogical.net/projects/hatt
License: BSD 3-Clause "New" or "Revised" License