[ 原始碼： eprover ]
套件：eprover（3.1.0+ds-1）
Equational theorem prover
This package provides tools to prove equational theorems: from a mathematical specification in many-sorted first-order logic with equality and an hypothesis/conjecture, it will look for a proof.
其他與 eprover 有關的套件
|
|
|
|
-
- dep: libc6 (>= 2.34)
- GNU C 函式庫：共用函式庫
同時作為一個虛擬套件由這些套件填實： libc6-udeb
-
- dep: picosat (>= 959)
- SAT solver with proof and core support