The Coq mailing list

[Alexandre Pilkiewicz <alexandre.pilkiewicz AT polytechnique.org>]

2011/11/8 Victor Porton 
<porton AT narod.ru>:
> But how to use projectors in an instance proof?
>
> Or if it's impossible to use projectors in an instance proof, what can be 
> done instead?

Another general advice: before trying to see how to do something,
maybe try to find a situation where you need to do this thing. Because
in your exemple, "reflexivity" proves it. Maybe when you find a
situation where you need a projector, we can help you solve your
problem.

But I also strongly agree with Jell: *do* the exercices!