Top Answers

1. how are sequences intended to be represented in Dafny?
   4 votes
2. How to define the specification to avoid array's value change with others
   1 votes
3. How let-such-that expressions could be done in Dafny 3.1.0?
   1 votes