The Coq mailing list

[Razvan Voicu <razvan AT comp.nus.edu.sg>]

Dear Coq Users,

I'm currently working on automating proofs by induction in Coq, and I 
would like to make sure I'm looking at all the relevant related work. I 
would appreciate any pointers to _recent_ work in induction automation 
(the references I get from Google are at least 5-6 years old).

Thank you in advance,

Razvan