[Top][All Lists]

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

Re: [Demexp-dev] Re: Modified wdialog-client.

From: David MENTRE
Subject: Re: [Demexp-dev] Re: Modified wdialog-client.
Date: Thu, 05 Oct 2006 21:54:47 +0200
User-agent: Gnus/5.1006 (Gnus v5.10.6) Emacs/21.4 (gnu/linux)


"ketty ." <address@hidden> writes:

> Would you accept it if it came with a prof made in coq or similar? :)

Hmmm. Would I ever understand a Coq proof? ;-)

Best wishes,
GPG/PGP key: A3AD7A2A David MENTRE <address@hidden>
 5996 CC46 4612 9CA4 3562  D7AC 6C67 9E96 A3AD 7A2A

reply via email to

[Prev in Thread] Current Thread [Next in Thread]