TreeProver: An interactive propositional theorem prover that unifies terms while you click.

Modus Ponens:

X -> Y:  

X:  

Result:  


View our source code.    

Created by Michael Wehar.    

We used glyphicons (CC BY 3.0) and Pure.CSS (BSD).