Lean 交互式仓库文档 图谱

由通用构建器从 CodeWiki module_tree.json 生成。成熟项目应补充 repo-specific runtime/API/model diagrams。

module map

module-map.mmd · module-map.drawio