Skip to content

chore: Update Lean to v4.34.0 - #32

Merged
samuelburnham merged 3 commits into
mainfrom
update/lean-v4.34.0
Sep 23, 2026
Merged

chore: Update Lean to v4.34.0#32
samuelburnham merged 3 commits into
mainfrom
update/lean-v4.34.0

fix: Pin Rust 1.98.1 and its Nix manifest hash

dd833c1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar