user_1802306
user_1802306
@user_1802306
0 reputation
0 answers
0 questions
About Me
// Hello, World !
Top Answers
  1. How do I check whether an agda term associated with a specific name relies on hole?
    3 votes
Top Questions