代码之家  ›  专栏  ›  技术社区  ›  james woodyatt

有人用证明助手来证明类型化过程演算的可靠性吗?

  •  1
  • james woodyatt  · 技术社区  · 16 年前
    内容过于久远,请刷新稍后重试
    3 回复  |  直到 16 年前
        1
  •  2
  •   Charlie Martin    16 年前
        2
  •  1
  •   james woodyatt    16 年前
        3
  •  1
  •   Makarius    12 年前
    推荐文章