SpiceQA
Questions
Tags
Users
Badges
user_14363423
@user_14363423
0
reputation
0
answers
1
questions
About Me
// Hello, World !
Top Answers
Top Questions
If two constructor expressions of an inductive type are equal in Coq, can I do rewriting based on their corresponding arguments?
2 votes
1 answers
