Skip to content

chore: bump Lean and Mathlib to v4.15 #597

chore: bump Lean and Mathlib to v4.15

chore: bump Lean and Mathlib to v4.15 #597