eproverversion

E Theorem Prover

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

AuthorsStephan Schulz, Simon Cruanes, Petar Vukmirovic, Mohamed Bassem and Martin Moehrmann
LicenseLGPL-2.1-or-later OR GPL-2.0-or-later
Published
Homepagehttps://www.eprover.org
Issue TrackerStephan Schulz (see homepage for email)
Maintainer7895506+MSoegtropIMC@users.noreply.github.com
Dependencies
Source [http] http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_3.1/E.tgz
sha512=4258d9fbd8d32346f5c24dbf0475c98c8e325aa0dc75dacaacd0096357ced8dde4456b88b0d7094a42d317482b6fec46955a1574b0984098386703772f698459
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/eprover/eprover.3.1/opam
No package is dependent