Skip to content

Upgrade to Lean 4.33.0 - #144

Closed
leonardoalt wants to merge 2 commits into
mainfrom
codex/lean-4.33-grind
Closed

Upgrade to Lean 4.33.0#144
leonardoalt wants to merge 2 commits into
mainfrom
codex/lean-4.33-grind

Fix Lean 4.33 linter warnings

f0c4a8e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Build and lint
succeeded Aug 11, 2026 in 1m 31s