Top 2 propositional-logic open source projects
FormaleSysteme
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
lisp-inference
An Inference Engine based on Propositional Calculus written in Common Lisp
1-2 of 2 propositional-logic projects