Skip to content

Bump mathlib dependency to 4a7edd3#38

Merged
mcdoll merged 1 commit into
mainfrom
hopscotch/lkg-bump
Jul 14, 2026
Merged

Bump mathlib dependency to 4a7edd3#38
mcdoll merged 1 commit into
mainfrom
hopscotch/lkg-bump

chore: bump mathlib to 4a7edd3: chore: update Mathlib dependencies 20…

3b01070
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Lint style
succeeded Jul 14, 2026 in 4s