• 米兹3

  • 参考11篇文章[sw18631]
  • 声明的 风格交互定理证明。我们建议把两者综合起来证明 风格... 就像在Coq)和声明的 风格(其中证明文本是在一个受控的自然。。。的优点声明的 风格–正式写作的可能性证明就像普通的数学课本。。。程序和声明的 证明 风格已经合并了。。。
  • 区域设置

  • 引用了35篇文章[sw12448]
  • 证明上下文可以通过态射来实现。如果宣布... 伊莎贝尔。讨论的机制包括ML-风格函子、类型类和mixin(后者。。。
  • zkp公司

  • 1条引用[sw30790]
  • Schnorr工具箱-风格零知识证明,使用ristretto255组实例化。它提供。。。更高层次,声明的围绕API定义_证明一个嵌入的宏,它提供了一个。。。指定证明类似Camenisch-Stadler符号的语句。这将扩展为一个包含。。。证明使用恒定时间实现,并且证明具有(内存安全。。。
  • 数学软件

  • 在5703篇文章中引用[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • 超小卫星

  • 引用521篇文章[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。
  • 毫升

  • 在502篇文章中引用[sw01218]
  • ML('Meta Language')是一个通用函数。。。
  • 旋转

  • 引用699篇文章[sw03455]
  • Spin是一个流行的开源软件工具。。。
  • PVS公司

  • 在602篇文章中引用[sw03484]
  • PVS是一个验证系统:也就是说,一个。。。
  • 佐藤

  • 引用195篇文章[sw04451]
  • 佐藤:命题满意度的求解者:戴维斯。。。