my first thread of this folder

is their a software that makes logic proofs..aka box proofs... easier to understand.....

i.e. the

and intro n elim

or intro n elim

implies intro n elim

double negation intro n elim

negation intro n elim etc

thanks in advance