Storing and simplifying propositions in predicate calculus. This is version 1.



Powered by Inweb.