The Coq mailing list

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

Dear Lucas, Vladimir, and Pierre,

Thank you so much for your prompt replies. They are really useful, as I 
wasn't aware of many of the pointers you sent. And sure, would love to 
ramble more on the topic too (maybe in TPHOLs/Coq Workshop?)

Thanks again,

Razvan