This is a Lean 4 library for pretty printing expressions as LaTeX.
For Mathlib LaTeX pretty printers, see https://github.com/kmill/LeanTeX-mathlib
kmill/LeanTeX
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| 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