[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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



On Mon, Feb 23, 2009 at 08:13:33AM +0100, Petr Pudlak (Debian) wrote:

> thanks for valuable comments. The original description was meant as a kind of 
> mathematical joke, since the task of proving a theorem is in general 
> undecidable, so any theorem prover will get stuck forever on many (or most) 
> inputs. I didn't realize at first that tis would actually discourage 
> potentials users.
> 
> Here is the corrected description:
[...]

That looks very good!

-- 
Met vriendelijke groet / with kind regards,
      Guus Sliepen <guus@debian.org>

Attachment: signature.asc
Description: Digital signature


Reply to: