Luna-Flow/stella

本文档跟踪当前分支状态。

仓库定位

围绕 elaboration 与类型论核心思路构建的 MoonBit 证明助手工作台。

文档布局

• README.md 记录仓库叙事与版本基线。
• doc_standard.md 记录文档契约。
• 模块或子系统目录下放 api.md、tutorial.md、design.md。

模块概览

• elab: 主要实现位于 src/elab。
• theory: 主要实现位于 doc/doc_en.typ。

文档入口

• API 参考: elab
• API 参考: theory