kmill / LeanTeXLinks

Lean 4 library for pretty printing expressions as LaTeX
26Updated 5 months ago

Alternatives and similar repositories for LeanTeX

Users that are interested in LeanTeX are comparing it to the libraries listed below

Sorting: