kdrag.printers.lean.run\_lean
=============================

.. currentmodule:: kdrag.printers.lean

.. autofunction:: run_lean