【摘要】重塑经典：用现代 Lean 4 重构《软件基础》全三卷与交互式文档 项目在线文档：https://ghost-silver.github.io/SF-lean4/ 开源代码仓库：https://github.com/Ghost-Silver/SF-lean4 作者：Ghost-Silver · SF 阅读全文