The Coq mailing list

[Daniel Schepler <dschepler AT gmail.com>]

On Friday, February 17, 2012 07:19:42 AM Daniel de Rauglaudre wrote:
> Hi everybody,
> 
> I discovered interesting proof techniques while using Coq:
>    1. think before
>    2. don't try to prove false theorems
> 
> Well, I say that mainly for myself: for me, these were illuminations.
> I am going to do that, now.

Let us know if you find a sure-fire way of detecting false theorems 
beforehand 
for #2.  That would save us all a lot of work. :)
-- 
Daniel Schepler