Skip to content

chore: bump mathlib to 79d0395, fix breaking changes - #191

Merged
RemyDegenne merged 3 commits into
mainfrom
bump-mathlib/fix-79d0395
Jul 16, 2026
Merged

chore: bump mathlib to 79d0395, fix breaking changes#191
RemyDegenne merged 3 commits into
mainfrom
bump-mathlib/fix-79d0395

update verso

c621006
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Build project
succeeded Jul 16, 2026 in 11m 33s