user_613779
user_613779
@user_613779
0 reputation
0 answers
2 questions
About Me
// Hello, World !
Top Answers
Top Questions
  1. What is the meaning of * in the tests?
    2 votes
    1 answers
  2. How to prove using case splitting when hypothesis is false in some cases?
    1 votes
    1 answers