user_8663151
user_8663151
@user_8663151
0 reputation
0 answers
1 questions
About Me
// Hello, World !
Top Answers
Top Questions
  1. How does elim work in Coq on /\ and \/?
    3 votes
    1 answers