user_5025728
user_5025728
@user_5025728
0 reputation
0 answers
1 questions
About Me
// Hello, World !
Top Answers
Top Questions
  1. Can I tell Coq to do induction from n to n+2?
    12 votes
    2 answers