provide fitchproof environment #4
Description
The standard (documented) way to make proofs is \[\begin{nd}...\end{nd}\]. There should be a fitchproof environment (like it's defined in forallx that does away with the math mode switch and left-aligns the proof.