Lean 4 library for pretty printing expressions as LaTeX
Primary LanguageLeanApache License 2.0Apache-2.0
This is a Lean 4 library for pretty printing expressions as LaTeX.