GitHub repository: kmill/LeanTeX
Primary language: Lean
Created: 2023-08-30T15:07:41Z
Description: Lean 4 library for pretty printing expressions as LaTeX