lexicalscope.com
Dafny Sum and Max solution
A Dafny solution to the Sum and Max verification benchmark. I added some additional specification to verify that the result max is really the maximum and the sum is really the sum. method SumMax(a:…