The Coq mailing list

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

Dear all,

Can we try to stop feeding the troll by answering obviously trivial
questions? No answers are ever read, nor any documentation, advice,
proof, or anything. It's therefore a lost of time for everyone, and
useless noise on the list. And private answers are similarly useless,
since they are obviously not read either, but resent to the entire
list. The only solution is to just bite our fingers, and not answers.

Thanks a lot,

Alexandre Pilkiewicz