Skip to content

chore: Update Lean to v4.31.0 - #79

Merged
samuelburnham merged 2 commits into
mainfrom
lean-v4.31.0
Jul 17, 2026
Merged

chore: Update Lean to v4.31.0#79
samuelburnham merged 2 commits into
mainfrom
lean-v4.31.0

ci: Update Nix config

971671a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar