3.7.0.28429wnds:Windows 86.2FchFC1549045786059D1549045856755newFormat=openproof.zen.Openproof{p=openproof.fitch.FitchProofDriver{p=openproof.proofdriver.DRProof{s ...

Keep track of the parentheses! Lastly, save an run it. Note 1: if your argument is a proof of a theorem, everything would still work the same. You’ll take the first step of the proof as the antecedent ...