SpiceQA
Questions Tags Users Badges
user_553003
user_553003
@user_553003
0 reputation
0 answers
2 questions
About Me
// Hello, World !
Top Answers
  1. How do inductive proposition work in Coq?
    8 votes
Top Questions
  1. Clauses have differing numbers of arguments (when mixing impossible pattern and effects)
    3 votes
    0 answers
  2. How to refer to sibling/parent directory in `setup.cfg`
    2 votes
    0 answers
Terms of service Privacy policy
Powered by Answer