Usage:
Input a term in the text box.
a lower-case letter represents a proposition.
implication is reprented using
->
example:
a -> a
Press "go" button.
Click judgement and press buttons to construct a proof tree.