Original Summary

Lean-verified mathematical reasoning with compiler-guided repair and lightweight Mathlib premise retrieval

  • 情报分类：技术学习与提效
  • 分类依据：内容涉及技术、AI、软件工具或工程实践
  • 信息来源：GitHub · AI 新项目
  • 发布时间：2026/9/28 15:31:07