GitHub repository: kmill/LeanTeX-mathlib
Primary language: Lean
Created: 2025-03-05T09:38:47Z
Description: LeanTeX pretty printers for mathlib