Skip to content
This repository was archived by the owner on Sep 2, 2026. It is now read-only.

chore: Update Lean to 4.23 - #382

Open
seanmcl wants to merge 2 commits into
mainfrom
sm/4.23
Open

chore: Update Lean to 4.23#382
seanmcl wants to merge 2 commits into
mainfrom
sm/4.23

chore: Update Lean to 4.23

b368e62
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar