On 10/5/06, David MENTRE <[EMAIL PROTECTED]
> wrote:
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. :)
> 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. :)
_______________________________________________ Demexp-dev mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/demexp-dev
