你即將離開本站

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

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

Leo -III [SB19,S18,SB18] is an automated theorem prover for (polymorphic) higher-order logic which supports all common TPTP dialects, including THF, TFF and FOF ...

確定！ 回上一頁

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

  1. Leo III
    2.
  2. Michael iii the drunkard
    3.
  3. Charlemagne
    4.
  4. Empress Irene
    5.
  5. Constantine vi
    6.
  6. leo iv
    7.
  7. Constantine iii byzantine emperor
    8.
  8. Nikephoros I
    9.