user_12636306
user_12636306
@user_12636306
0 reputation
0 answers
2 questions
About Me
// Hello, World !
Top Answers
Top Questions
  1. Can't prove seemingly trivial equality in Ada Spark
    4 votes
    1 answers
  2. How to prove equivalence of two functions?
    3 votes
    1 answers