正在恢复审核会话…
重试
Formalization Audit
Stage 3 原子标注
登录后进入自然语言与形式化内容对照审核工作台。
用户名
密码
登录
judging · (NL,FL)-DAG 审计
Formalization Audit
(NL, FL)-DAG · 仓库级形式化完成度标注
加载中…
公理依赖审核
DAG 图
退出
加载中…
完整 NL 依赖图 · 箭头从依赖项指向使用它的节点 · 拖拽平移 · 滚轮缩放
阅读视图
查看全图
＋
−
公理
定义
可证明命题
↔
已匹配 FL
∅
未找到 FL
? 快捷键
快捷键