Please, have a look to the lemma proof:
http://rise4fun.com/Dafny/jead
I cannot think what is the problem there!!!
Some help, please?
Comments: Also related is that the following lemma Sum_Prod_Lemma is successfully verified if and only if its ensures clause is commented: http://rise4fun.com/Dafny/mqcbn This is really strange.
http://rise4fun.com/Dafny/jead
I cannot think what is the problem there!!!
Some help, please?
Comments: Also related is that the following lemma Sum_Prod_Lemma is successfully verified if and only if its ensures clause is commented: http://rise4fun.com/Dafny/mqcbn This is really strange.