The Coq mailing list

[Bas Spitters <b.a.w.spitters AT gmail.com>]

What's the best way to search the archives of coq-club?
Googling often does not work. Neither does this give me what I want:

http://coq-club.inria.narkive.com/

For concreteness, I was trying to find an online version of the thread:
"Core Verifier of Coq"

A first part is here (google does not find it).
https://sympa.inria.fr/sympa/arc/coq-club/2013-05/msg00071.html
but there is a follow up in Sept 2013.


I think the archives are valuable and it would be good if it can be
easily found with a search engine.
Are other people experiencing the same problem?

Aside, it would be great to have a digest about Coq's indenpendent
verifier in the wiki.