docs: note Lean 4.35.0 as the verified toolchain

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01FYqwNMyPUHeTbFWg83GQq6
2026-10-21 11:33:07 +00:00
parent 9e983edaa7
commit a3021d9c39
1 changed files with 1 additions and 1 deletions
@@ -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 运行时第三方依赖。

 ## 使用