/LeanTeX

Lean 4 library for pretty printing expressions as LaTeX

Primary LanguageLeanApache License 2.0Apache-2.0

LeanTeX

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