Reservoir

LeanTeX

This is a Lean 4 library for pretty printing expressions as LaTeX.

For Mathlib LaTeX pretty printers, see https://github.com/kmill/LeanTeX-mathlib