kdrag.printers.latex.to_latex_proof

kdrag.printers.latex.to_latex_proof(proof: Proof, prec: int = 0) → str
Parameters:

  • proof (Proof)

  • prec (int)

Return type:

str