JarCasting
JarCasting JarCasting
Last Version

Eprover 1.6

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
Version

Version

1.6
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 1.6

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

<!-- 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.