Constructor
{ proposition - The Formula for the current line, rule - The rule cited to justify for this line, citedLines - The lines cited in the justification }
Does the current line rely on any other lines which are Assumptions
(i.e., statements introduced for indirect/conditional proof)?
Ultimately, in order to check validity, we need to confirm that the
Proof.conclusion does not rely on any non-discharged assumptions.
The line number of the proof.
Set the current LineOfProof assumptions
the list of assumed line numbers
Generated using TypeDoc
Class representing a line in a natural deduction proof.