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

[ketty .]

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. :)