Top Questions

1. how are sequences intended to be represented in Dafny?
   2 votes

   1 answers
2. Dafny "call may violate context's modifies clause" error using method invocation inside while loop where "fresh" invariant isn't an option
   1 votes

   1 answers