chore: Update Lean to v4.33.0 - #554

Open

argument-ci-bot[bot] wants to merge 9 commits into

mainfrom

update/lean-v4.33.0

Commits on Aug 12, 2026

chore: Update Lean to v4.33.0

samuelburnham
authored and
github-actions[bot]
committed
ac37d2c
ci: Use lean-update's pr setting
samuelburnham
committed
a8619ce
chore: Adapt sources and pins to Lean v4.33.0
samuelburnham
committed
aef357c
nix: Switch to the lean4-nix fork API
samuelburnham
committed
097724d
chore: Move from alejandra to nixfmt
samuelburnham
committed
9d7fefb
fix(tc): classify Prop up to universe normalization
samuelburnham
committed
42b2cdf
fix: Adapt to Lean/batteries v4.33 API changes
samuelburnham
committed
f17a757
fix(ffi): decode Lean.Int by value, not as a constructor
samuelburnham
committed
60102c4
docs: Add v4.33 bump handoff
samuelburnham
committed
001b1c9