|
| 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) |
Hi, "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, d. -- GPG/PGP key: A3AD7A2A David MENTRE <address@hidden> 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A
| [Prev in Thread] | Current Thread | [Next in Thread] |