ProEd is an application designed to help create proofs using sequent calculus.
For information on how sequent calculus works, please refer appropriate text books.
Doubleclick on the items to the left to view other help pages.