The Coq mailing list

[Klaus Ostermann <klaus.ostermann AT uni-tuebingen.de>]

Hi Dominque

thanks a lot! Your solution works like a charm. Very nice!

That said, I'm fascinated how much work is required to do something
so basic.

In general, my impression as a Coq beginner is that is relatively easy to
follow one of the numerous Coq tutorials and solve the exercises, but
as soon as you try to do something yourself, you run into many complicated
pitfalls that the exercise designers have carefully avoided.

Klaus