user_13155817
user_13155817
@user_13155817
0 reputation
0 answers
0 questions
About Me
// Hello, World !
Top Answers
  1. Coq Newbie: How to iterate trough binary-tree in Coq
    2 votes
  2. Coq: rewriting under if-then-else
    1 votes
Top Questions