Skip to content

chore: bump lean and mathlib to 4.15.0#32

Merged
mpenciak merged 1 commit intomainfrom mp/bump-mathlibJan 13, 2025

Commits

Commits on Jan 13, 2025