Accepted eprover 1.0.004-1 (source all i386)

-science-maintain...@lists.alioth.debian.org Changed-By: Petr Pudlak d...@pudlak.name Description: eprover- Theorem prover for first-order logic with equality eprover-doc-html - Theorem prover for first-order logic with equality - HTML doc eprover-examples - Theorem prover for first-order logic

Bug#516545: ITP: eprover -- The Equational Theorem Prover E

Package: wnpp Severity: wishlist Owner: Petr Pudlak d...@pudlak.name * Package name: eprover Version : 1.0.004 Upstream Author : Stephan Schulz sch...@eprover.org * URL : http://www.eprover.org/ * License : GPL-2 Programming Lang: C Description

Re: Bug#516545: ITP: eprover -- The Equational Theorem Prover E

competition, and usually been the strongest free software system. Petr On Sunday 22 February 2009 16:18:58 Guus Sliepen wrote: On Sun, Feb 22, 2009 at 09:57:04AM +0100, Petr Pudlak wrote: * Package name: eprover Description : The Equational Theorem Prover E