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