图谱名称: Proof Assistant
父图谱

类型论 计算机科学
子图谱

Coq Agda
相关文章推荐
文章总数 10000
小百科 › 知识图谱  ›  Proof Assistant
全部
Link管理   ·   51好读   ·   Sov5搜索   ·   小百科
小百科 - 百科知识指南