theorem-prover 0.1.1

Implementation of a theorem prover for first-order logic.
Documentation 
1
2

forall z.(~p(x,f(y)) \/ q(z))
~(exists y.(forall z.((p(z, y)) <-> (~(exists x.((p(z, x)) /\ (p(x, z))))))))