obousquet / LeanTeX Public

forked from kmill/LeanTeX

Notifications You must be signed in to change notification settings
Fork 1
Star 0

Lean 4 library for pretty printing expressions as LaTeX

Apache-2.0 license

0 stars 3 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
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.

About

Lean 4 library for pretty printing expressions as LaTeX

Apache-2.0 license

Report repository

Releases

No releases published

Packages

No packages published

Languages

Lean 100.0%