mathlib

All posts tagged with “mathlib”.

• Freyd-Mitchell and Gabriel-Popescu

  June 21, 2025 · 1 minute read Lean mathlib