Stlc.Gentzen
gentzendiagram
showProofTree