Project 3.
============

Write a simple first-order theorem prover based on sequent calculus.


Literature

J. Gallier. Logic for Computer Science: Foundations of Automatic Theorem Proving. 
http://www.cis.upenn.edu/~jean/gbooks/logic.html