Lean 4 library for pretty printing expressions as LaTeX - View it on GitHub