user_1308444
user_1308444
@user_1308444
0 reputation
0 answers
2 questions
About Me
// Hello, World !
Top Answers
Top Questions
  1. `find_theorems` in the AFP
    3 votes
    2 answers
  2. Proving simple theorem about cases mod 10
    3 votes
    1 answers