Skip to content

Bump mathlib dependency to 6a6c957 - #138

Merged
RemyDegenne merged 1 commit into
mainfrom
hopscotch/lkg-bump
Jun 17, 2026
Merged

Bump mathlib dependency to 6a6c957#138
RemyDegenne merged 1 commit into
mainfrom
hopscotch/lkg-bump

chore: bump mathlib to 6a6c957: feat: integral presentation of the pr…

42a0942
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.