Setting Fitch-style proofs:

There are three packages available for setting Fitch-style proofs.

Joel Uckelman comments "Having looked at all three, I think that Selinger's is too restrictive and Graff's produces output which isn't as pretty as the other two. Klüwer's [output sample above] is the easiest to use, and doesn't balk when you want to do odd things."

Home