user_3649572
user_3649572
@user_3649572
0 reputation
0 answers
2 questions
About Me
// Hello, World !
Top Answers
Top Questions
  1. Mutually recursive proofs
    3 votes
    0 answers
  2. Dependent type involving nat addition
    3 votes
    2 answers