[Top][All Lists]

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

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

From: ketty .
Subject: Re: [Demexp-dev] Re: Modified wdialog-client.
Date: Thu, 5 Oct 2006 22:17:37 +0200

On 10/5/06, David MENTRE <address@hidden > wrote:
> Would you accept it if it came with a prof made in coq or similar? :)

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

Well, in this case it should be enough to look at the ocaml code to see that it is correct, the coq proof is just to verify that. :)

reply via email to

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