Repository navigation

chore(deps): bump Lean toolchain and dependencies to v4.35.0 - #37

Merged

arademaker merged 1 commit into

mainfrom

chore/lean-v4.35.0

Oct 18, 2026

Merged

chore(deps): bump Lean toolchain and dependencies to v4.35.0#37
arademaker merged 1 commit into
mainfrom
chore/lean-v4.35.0

Commits on Oct 18, 2026
- chore(deps): bump Lean toolchain and dependencies to v4.35.0
  arademaker
  committed
  ed306d1