kdrag.printers.lean.run_lean

kdrag.printers.lean.run_lean(filename: str)
Parameters:

filename (str)