user_15513211
user_15513211
@user_15513211
0 reputation
0 answers
2 questions
About Me
// Hello, World !
Top Answers
  1. Ada GNATprove insints that 1 is not >= 0
    4 votes
Top Questions
  1. Proving Select Sort algorithm using SPARK
    3 votes
    1 answers
  2. Ada GNATprove insints that 1 is not >= 0
    3 votes
    2 answers