The Coq mailing list

[Daniel de Rauglaudre <daniel.de_rauglaudre AT inria.fr>]

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.

-- 
Daniel de Rauglaudre
http://pauillac.inria.fr/~ddr/