All Questions
1
question
0
votes
1
answer
119
views
Specializing forall quantifiers in Coq
I have an inductively defined type of expressions:
...