Skip to main content

All Questions

0 votes
1 answer
119 views

Specializing forall quantifiers in Coq

I have an inductively defined type of expressions: ...
Andrii Kozytskyi's user avatar