kmill / LeanTeX

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

Related projects

Alternatives and complementary repositories for LeanTeX