wellecks 发布 LLMLean 回归，支持本地或云端 LLM 辅助 Lean 证明

wellecks 宣布 LLMLean 回归，该工具在 Lean 中提供 LLM 驱动的证明建议，支持在本地笔记本或云端运行模型。此次版本由 2023 年发布的 llmstep 演化而来，带来更好的上下文支持和更简单的配置。