LLMLean 回归：本地或云端模型驱动的 Lean 证明建议
wellecks · x · 2026-11-14
LLMLean 由 2023 年发布的 llmstep 演化而来，如今携更好的上下文支持和更简单的配置回归。它是一个在 Lean 中提供 LLM 驱动证明建议的工具，既可使用笔记本上的本地模型，也可调用云端模型，面向形式化定理证明工作流。
所属事件:LLMLean 回归：本地或云端 LLM 辅助 Lean 形式化证明(2 条相关)→
「编程与Agent」频道最新
- shadcn 新 UI SDK 实测:agent 与人类共用同一表单组件实时协作 — shadcn · 2026-11-14
- Google Antigravity 重置全员 Gemini 额度，庆祝一周密集更新 — rseroter · 2026-11-14
- 十年 PostgreSQL 专家自述：Claude 让全团队都成了数据库专家 — RealGeneKim · 2026-11-14
- Claude Code 项目设置页大清理：灰色文字减少 55% — gem_ray · 2026-11-14
- npm 开始对发布包执行安全扫描，上传校验会变慢 — tristanbob · 2026-11-14
- 20 个冻结任务就够了：Reddit 实用指南教你评估 Agent 是否真的变好 — ChefOk4636 · 2026-11-14