unicode_fol_kit.render_fitch

unicode_fol_kit.render_fitch(proof, ascii=False)[source]

Render proof in classic Fitch notation as a multi-line string.

A line-number gutter, one vertical scope bar per open subproof, a horizontal rule under the premises and under each assumption, and a right-hand justification column (rule cites). Pass ascii=True for an ASCII-only rendering (|/+/- instead of │/├/─).

Parameters:

  • proof (Proof)

  • ascii (bool)

Return type:

str