elizarov/LogicDerivation

A shot at unification algorithm for deriving math logic theorems from axioms