SpiceQA
Questions
Tags
Users
Badges
user_5166930
@user_5166930
0
reputation
0
answers
1
questions
About Me
// Hello, World !
Top Answers
Top Questions
Why does this Coq Definition fail? Coq Namespace error for Inductive Type
2 votes
1 answers
