Help

Proofs are represented by so-called tree proofs. Each node is of the form:
Premisse 1 Premisse 2 Conclusion This is read: "From premisse 1 and premisse 2, I prove the conclusion".

Why this tool?

Tired with proofs written in text? Tired of searching Equation 4 and Lemma 5.3.2 when you read "Equation (4) and Lemma 5.3.2 leads to...". The advantage here is that the premisses used to prove a conclusion are graphically near.