Repository navigation

LeanTeX

Public

About

Lean 4 library for pretty printing expressions as LaTeX

Apache-2.0 license

39 stars

4 watching

Report repository

Name		Name	Last commit message	Last commit date
LeanTeX		LeanTeX
test		test
.gitignore		.gitignore
LICENSE		LICENSE
LeanTeX.lean		LeanTeX.lean
Main.lean		Main.lean
README.md		README.md
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain

Repository files navigation

LeanTeX

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

For Mathlib LaTeX pretty printers, see https://github.com/kmill/LeanTeX-mathlib

About

Lean 4 library for pretty printing expressions as LaTeX

Apache-2.0 license

39 stars

4 watching

Report repository

Releases

Packages

Contributors

Languages