kmillLeanTeX

Lean 4 library for pretty printing expressions as LaTeX
Displaying 1-1 of 1 packages depending on kmill/LeanTeX
Sort by

  1. kmill/LeanTeX_Mathlibusesd66db45

    LeanTeX pretty printers for mathlib