代码之家  ›  专栏  ›  技术社区  ›  Jian Wang

为什么Coq证明的策略“精确”是完整的?

  •  2
  • Jian Wang  · 技术社区  · 7 年前
    内容过于久远,请刷新稍后重试
    2 回复  |  直到 7 年前
        1
  •  8
  •   ejgallego    7 年前
        2
  •  3
  •   Yves    3 年前