Repository navigation

build(lean): move the toolchain from v4.13.0 to v4.35.0 - #65

Merged

hyperpolymath merged 4 commits into

mainfrom

claude/lean-v4.35.0

Oct 27, 2026

Merged

build(lean): move the toolchain from v4.13.0 to v4.35.0#65
hyperpolymath merged 4 commits into
mainfrom
claude/lean-v4.35.0

Commits on Oct 27, 2026
- build(lean): move the toolchain from v4.13.0 to v4.35.0
  
  hyperpolymath
  and
  claude
  committed
  226c9e1
- fix(ci): CI context contract follows the secret-scan → scan rename
  
  hyperpolymath
  and
  claude
  committed
  4a568b1
- docs(lean): hub_ceiling's axiom line matches the 4.35.0 re-audit
  
  hyperpolymath
  and
  claude
  committed
  6a2a657
- Merge branch 'main' into claude/lean-v4.35.0
  hyperpolymath
  authored
  420ca68