Package: eprover (2.6+ds-3)

[ Source: eprover  ]

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.

Other Packages Related to eprover

• dep: libc6 (>= 2.33)

  GNU C 라이브러리: 공유 라이브러리
  also a virtual package provided by libc6-udeb

• dep: picosat (>= 959)

  증명과 코어 지원을 포함하는 SAT 솔버

Download eprover

Download for all available architectures

Architecture	Package Size	Installed Size	Files
s390x	888.9 kB	13,735.0 kB	[list of files]