SF-lean4项目完工：《软件基础》迁移至Lean 4

SF-lean4 项目宣布正式完工并全量上线，将《软件基础》（Software Foundations）全三卷 57 章从 Coq 迁移到 Lean 4，完成 27,000 余行代码的形式化重构与汉化精校，并配套 800 余道习题与交互式在线文档。 《软件基础》是形式化方法领域的经典教材，原以 Coq 为证明助手，此次迁移使读者可在 Lean 4 环境下学习。项目提供两种使用方式：通过网页端在线阅读全书 57 章与练习题解析（该方式免安装，支持手机、平板或 PC），或克隆仓库后一键构建。

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

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