Lean 4 library for pretty printing expressions as LaTeX
Primary LanguageLeanApache License 2.0Apache-2.0