Skip to content

chore: bump mathlib to db584cd, fix breaking changes - #37

Merged
zixiaowang17 merged 2 commits into
mainfrom
bump-mathlib/fix-db584cd
Oct 1, 2026
Merged

zixiaowang17 merged 2 commits into
mainfrom
bump-mathlib/fix-db584cd

fix: remove unused QMD assumptions

c5811b4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar