Simple proof assistant

Proposition logic, natural deduction

Wessel van Staal, wvanstaal[at]student.ru.nl . Based on these deduction rules.

Examples: Show assumptions

Commands: newProof α, ass, impE α, impI, negI α, negE α, negE2 α, conE1 β, conE2 α, conI, disE α β, disI1, disI2

proof