• 埃德蒙卡普

  • 4篇参考文献[SW28 58]
  • 形式化埃德蒙兹-卡普 算法. 我们提出了福特Fulkson方法的形式化…逐步求精埃德蒙兹-卡普 算法并正式证明一个界限…
  • 辅酶Q

  • 1721篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • github

  • 1091篇参考文献[SW23 170]
  • GITHUB(最初称为逻辑AHESMEL LLC)[ 3…