PropLogicKernel REPL
∧
∨
→
⊥
Start Proof
Current Goal
Hypotheses
∧
∨
→
⊥
Apply
Auto Solve
Undo
Reset
Q.E.D. Proof Complete!