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 <g...@debian.org>
signature.asc
Description: Digital signature
