你即將離開本站

並前往https://github.com/leoprover/Leo-III

leoprover/Leo-III: An Automated Theorem Prover for ... - GitHub

It is based on a paramodulation calculus with ordering constraints and, in tradition of its predecessor LEO-II [BP15], heavily relies on cooperation with ...

確定！ 回上一頁

查詢 「Leo ii」的人也找了：

  1. leo iii
    2.
  2. Heraclius
    3.
  3. Justin II
    4.
  4. Emperor Leo
    5.
  5. Justinian
    6.
  6. Anastasius
    7.
  7. Phocas
    8.
  8. Anastasius II
    9.