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

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