chore: Update Lean to v4.34.1 - #654

Merged

samuelburnham merged 9 commits into

mainfrom

update/lean-v4.34.1

Oct 2, 2026

Commits on Oct 2, 2026

chore: Update Lean to v4.34.1

github-merge-queue[bot]
authored and
samuelburnham
committed
8f91dd9
chore: Bump lean4ix, Blake3.lean and LSpec to their v4.34.1 commits
samuelburnham
committed
9038f6f
fix: Rename deprecated conditional lemmas for Lean v4.34.1
samuelburnham
committed
d73e957
fix: Admit Classical.choice for hash-map-typed audit roots
samuelburnham
committed
5a37723
fix(nix): Move the Blake3.lean flake input to its v4.34.1 commit
samuelburnham
committed
75265e1
fix: Repair exact-sharing proofs for Lean v4.34.1
samuelburnham
committed
32cb7e6
fix: Update primitive content addresses for Lean v4.34.1
samuelburnham
committed
5f07f7c
fix: Admit Classical.choice for hash-map-typed sharing csimp roots
samuelburnham
committed
0f6abee
test: Bump IxVM FFT cost pins for Lean v4.34.1
samuelburnham
committed
eb53f62