Skip to content

chore: Update Lean to 4.23#89

Merged
seanmcl merged 1 commit intomainfrom
sm/23
Sep 29, 2025
Merged

chore: Update Lean to 4.23#89
seanmcl merged 1 commit intomainfrom
sm/23

Commits

Commits on Sep 29, 2025