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