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

Commits

Commits on Nov 6, 2025