Skip to content

Bump to Lean v4.33.0 / Mathlib v4.33.0 - #8

Merged
girving merged 1 commit into
girving:mainfrom
jeremy-kahn-brown-ai:mathlib-v4.33.0
Aug 16, 2026
Merged

Bump to Lean v4.33.0 / Mathlib v4.33.0#8
girving merged 1 commit into
girving:mainfrom
jeremy-kahn-brown-ai:mathlib-v4.33.0

Bump to Lean v4.33.0 / Mathlib v4.33.0

74f0059
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Aug 16, 2026 in 1m 36s