This is a Lean 4 library for pretty printing expressions as LaTeX.
For Mathlib LaTeX pretty printers, see https://github.com/kmill/LeanTeX-mathlib
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This is a Lean 4 library for pretty printing expressions as LaTeX.
For Mathlib LaTeX pretty printers, see https://github.com/kmill/LeanTeX-mathlib