chore(toolchain): pin the patched Lean v4.34.1 - #39

chore(toolchain): pin the patched Lean v4.34.1#39

hyperpolymath merged 3 commits into

mainhyperpolymath/marches:mainfrom

claude/new-session-up7579hyperpolymath/marches:claude/new-session-up7579Copy head branch name to clipboard