Skip to content

fix: mathlib4 deprecation-linter breakage from the mathlib merge - #55

Merged
Kha merged 1 commit into
masterfrom
push-qlzltrmuqttz
Sep 8, 2026
Merged

fix: mathlib4 deprecation-linter breakage from the mathlib merge#55
Kha merged 1 commit into
masterfrom
push-qlzltrmuqttz

fix: mathlib4 deprecation-linter breakage from the mathlib merge

4d0b972
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar