user_7284
user_7284
@user_7284
0 reputation
0 answers
2 questions
About Me
// Hello, World !
Top Answers
Top Questions
  1. Why is Dafny thinking that this incorrect algorithm is correct?
    3 votes
    1 answers
  2. Why is Dafny allowing uninitialized return result?
    1 votes
    1 answers