sci-mathematics / e

E is a theorem prover for full first-order logic with equality

Official package sites : http://www4.informatik.tu-muenchen.de/~schulz/E/E.html ·

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. If a proof is found, the system can provide a detailed list of proof steps that can be individually verified. If the conjecture is existential (i.e. it’s of the form “there exists an X with property P”), the latest versions can also provide possible answers (values for X). Development of E started as part of the E-SETHEO project at TUM. The first public release was in in 1998, and the system has been continuously improved ever since. I believe that E now is one of the most powerful and friendly reasoning systems for first-order logic. The prover has successfully participated in many competitions.

v1.8-r1 :: 0/1.8 :: gentoo

Modified
License
GPL-2
Keywords
~amd64 ~x86
USE flags
doc examples isabelle

v1.6 :: 0/1.6 :: gentoo

Modified
License
GPL-2
Keywords
~amd64 ~x86
USE flags
doc examples isabelle

v1.5 :: 0/1.5 :: gentoo

Modified
License
GPL-2
Keywords
~amd64 ~x86
USE flags
doc examples isabelle

General

doc
Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
examples
Install examples, usually source code
isabelle
Missing description

sci-mathematics / isabelle : Isabelle is a generic proof assistant

sci-mathematics / isabelle : Isabelle is a generic proof assistant

680690
sci-mathematics/e: HOMEPAGE and SRC_URI are down
Michael Mair-Keimberger · gentoo
sci-mathematics/e: remove old
Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
T. Malfatti · gentoo
media-libs/portaudio: Version bump
Mark Wright · gentoo
sci-mathematics/e: Update to EAPI="6"
Package-Manager: portage-2.3.3
Robin H. Johnson · gentoo
proj/gentoo: Initial commit
This commit represents a new era for Gentoo: Storing the gentoo-x86 tree in Git, as converted from CVS. This commit is the start of the NEW history. Any historical data is intended to be grafted onto this point. Creation process: 1. Take final CVS checkout snapshot 2. Remove ALL ChangeLog* files 3. Transform all Manifests to thin 4. Remove empty Manifests 5. Convert all stale $Header$/$Id$ CVS keywords to non-expanded Git $Id$ 5.1. Do not touch files with -kb/-ko keyword flags. Signed-off-by: Robin H. Johnson <robbat2@gentoo.org> X-Thanks: Alec Warner <antarus@gentoo.org> - did the GSoC 2006 migration tests X-Thanks: Robin H. Johnson <robbat2@gentoo.org> - infra guy, herding this project X-Thanks: Nguyen Thai Ngoc Duy <pclouds@gentoo.org> - Former Gentoo developer, wrote Git features for the migration X-Thanks: Brian Harring <ferringb@gentoo.org> - wrote much python to improve cvs2svn X-Thanks: Rich Freeman <rich0@gentoo.org> - validation scripts X-Thanks: Patrick Lauer <patrick@gentoo.org> - Gentoo dev, running new 2014 work in migration X-Thanks: Michał Górny <mgorny@gentoo.org> - scripts, QA, nagging X-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed