Skip to content

Update to v4.33.x - #356

Merged
GeorgeTsoukalas merged 11 commits into
trishullab:mainfrom
eric-wieser:update-to-v4.33.0
Sep 22, 2026
Merged

GeorgeTsoukalas merged 11 commits into
trishullab:mainfrom
eric-wieser:update-to-v4.33.0

Update Lean toolchain and Mathlib to v4.33.1

b89ee5b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Build
succeeded Sep 22, 2026 in 27m 8s