https://github.com/kmill/leantex

Lean 4 library for pretty printing expressions as LaTeX
https://github.com/kmill/leantex

lean4

Last synced: about 1 year ago
JSON representation

Lean 4 library for pretty printing expressions as LaTeX

• Host: GitHub
• URL: https://github.com/kmill/leantex
• Owner: kmill
• License: apache-2.0
• Created: 2023-08-30T15:07:39.000Z (almost 3 years ago)
• Default Branch: main
• Last Pushed: 2025-03-05T17:53:22.000Z (over 1 year ago)
• Last Synced: 2025-04-12T20:06:53.997Z (about 1 year ago)
• Topics: lean4
• Language: Lean
• Homepage:
• Size: 76.2 KB
• Stars: 19
• Watchers: 4
• Forks: 4
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# 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