Luna-Flow/QED
本文档跟踪当前分支状态。
仓库定位
采用 kernel-first 架构、带形式规范和受控前端的定理证明器项目。
文档布局
README.md记录仓库叙事与版本基线。doc_standard.md记录文档契约。- 模块或子系统目录下放
api.md、tutorial.md、design.md。
模块概览
kernel: 主要实现位于src/kernel。parser: 主要实现位于src/parser。tactics: 主要实现位于src/tactics。prover: 主要实现位于src/prover。spec: 主要实现位于doc/qed_formal_spec.typ。