项目推理图谱 · 有向无环图

形式化验证 运行中…

层次依赖图(L0 基础事实在底、越往上 level 越高)· 节点固定不可拖 · 点节点看详情 · 拖空白平移 · 滚轮缩放 · 悬停看依赖链 · Esc 取消