LeanMarathon 把论文级 Lean 形式化变成一个可恢复的多智能体工程系统：蓝图、证明 DAG、受限 worker、reviewer issue 和 CI gate 共同防止长任务漂移。
4分钟阅读 · 2026年6月7日
2026 · formal-methods · agent-systems · reading · agents