JarCasting
JarCasting JarCasting

Eprover

E is a theorem prover for full first-order logic with equality. It accepts a problem specification, typically consisting of a number of first-order clauses or formulas, and a conjecture, again either in clausal or full first-order form. The system will then try to find a formal proof for the conjecture, assuming the axioms.

License

License
GroupId

GroupId

org.eprover
ArtifactId

ArtifactId

eprover
Last Version

Last Version

1.6
Release Date

Release Date
Type

Type

jar
Description

Description

Eprover
E is a theorem prover for full first-order logic with equality. It accepts a problem specification, typically consisting of a number of first-order clauses or formulas, and a conjecture, again either in clausal or full first-order form. The system will then try to find a formal proof for the conjecture, assuming the axioms.
Project URL

Project URL

http://www.eprover.org

Download eprover

Filename Size
eprover-1.6.pom
eprover-1.6.jar 7 MB
Browse

How to add to project

<!-- https://jarcasting.com/artifacts/org.eprover/eprover/ -->
<dependency>
    <groupId>org.eprover</groupId>
    <artifactId>eprover</artifactId>
    <version>1.6</version>
</dependency>
// https://jarcasting.com/artifacts/org.eprover/eprover/
implementation 'org.eprover:eprover:1.6'
// https://jarcasting.com/artifacts/org.eprover/eprover/
implementation ("org.eprover:eprover:1.6")
'org.eprover:eprover:jar:1.6'
<dependency org="org.eprover" name="eprover" rev="1.6">
  <artifact name="eprover" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.eprover', module='eprover', version='1.6')
)
libraryDependencies += "org.eprover" % "eprover" % "1.6"
[org.eprover/eprover "1.6"]

Dependencies

There are no dependencies for this project. It is a standalone project that does not depend on any other jars.

Project Modules

There are no modules declared in this project.

Versions

Version
1.6