Proof Checker

LaTeX (copy or download)

This appears only when the proof checks as valid.

The same proof in Fitch notation

Lemmon writes what a line depends on in the left-hand column. Fitch records the same thing geometrically, with nested subproofs. The boxes below were computed from your dependency sets — nothing else in the proof says where they belong.

One direction of this translation is routine and the other is not. Why, and what that says about the two notations: Dependency and Scope (PDF).