Skip to content

Lean 4.35 / Mathlib v4.35.0 upgrade - #144

Merged
timbrigham merged 243 commits into
mainfrom
illustrated
Nov 8, 2026
Merged

Lean 4.35 / Mathlib v4.35.0 upgrade#144
timbrigham merged 243 commits into
mainfrom
illustrated

Merge commit '2e8e962f01e0140adc45acfd17877158cd9a0a73' into illustrated

12eff5e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar