Swish.Proof

data Proof ex

data Step ex

checkProof

explainProof

checkStep

showProof

showsProof

showsFormula