博客园· Ghost-Face·· 3 小时前AI 评分65
SF-lean4 正式完工上线：用 Lean 4 重构《软件基础》三卷 57 章
用Lean4重构《软件基础》（Software Foundations）——SF-lean4正式完工上线！ - Ghost-Face
AI 导读
SF-lean4 项目宣布完工并全量上线，将《软件基础》（Software Foundations）全三卷 57 章从 Coq 迁移到 Lean 4，完成 27,000+ 行代码的形式化重构与汉化精校，并配套 800+ 道习题与交互式在线文档。
来源：博客园 · cnblogs.com