From a3021d9c392ba0007936303a8853edc544cf0225 Mon Sep 17 00:00:00 2001 From: claude-bot <10+claude-bot@noreply.localhost> Date: Wed, 21 Oct 2026 11:33:07 +0000 Subject: [PATCH] docs: note Lean 4.35.0 as the verified toolchain Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01FYqwNMyPUHeTbFWg83GQq6 --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 6d6f081..179ed57 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,6 @@ # Lean Agent -独立 Python 3.11+ 项目：LLM 生成 tactic → Lean 验证 → 把错误反馈给模型修复。已在 Lean 4.33.1 验证，无 Python 运行时第三方依赖。 +独立 Python 3.11+ 项目：LLM 生成 tactic → Lean 验证 → 把错误反馈给模型修复。已在 Lean 4.35.0 验证（CI：ubuntu24.04-x64-lean4.35 runner，含 Mathlib v4.35.0），无 Python 运行时第三方依赖。 ## 使用