Package: eprover (1.0.0041ubuntu1) [universe]
Links for eprover
Ubuntu Resources:
Download Source Package eprover:
Maintainer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
 Debian Science Maintainers (Mail Archive)
 Petr Pudlak
It should generally not be necessary for users to contact the original maintainer.
External Resources:
 Homepage [www.eprover.org]
Similar packages:
Theorem prover for firstorder logic with equality
E is a fully automatic theorem prover for full firstorder logic with equality. It accepts a mathematical specification and, optionally, a hypothesis, and tries to prove the hypothesis and/or find a saturation representing a (counter)model for the specification.
E is based on a purely equational problem representation and implements a variant of the superposition calculus. Proof search can be guided with a multitude of options or a powerful automatic configuration mode. The system can process input in a number of different formats, including the standard TPTP2 and TPTP3 formats. It can generate proof objects in PCL2 or TPTP3/TSTP format.
E is considered one of the most powerful and friendly automated theorem provers for firstorder logic. It has consistently been among the top system in the major categories of the CASC system competition, and usually been the strongest free software system.
Other Packages Related to eprover





 dep: libc6 (>= 2.4)
 Embedded GNU C Library: Shared libraries
also a virtual package provided by libc6udeb

 rec: eproverdochtml
 Theorem prover for firstorder logic with equality  HTML doc

 sug: eproverexamples
 Theorem prover for firstorder logic with equality  examples
Download eprover
Architecture  Package Size  Installed Size  Files 

amd64  1,001.4 kB  2,276.0 kB  [list of files] 
i386  923.4 kB  2,040.0 kB  [list of files] 