AGI Hunt推荐两个 Lean 动态追踪站点

AGI Hunt介绍并推荐 Papers With Lean 与 Lean Weekly 两个追踪 Lean 生态动态的站点。报道指出，Soonho Kong 建立并维护的 Papers With Lean 每日更新 arXiv 论文索引，收录使用 Lean 交互式定理证明器的论文，可按主题或最近 7 天、30 天浏览；Lean Weekly 则按周整理 Lean 新闻，覆盖 Lean core、验证、AI 与形式化等内容。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。