coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Bas Spitters <b.a.w.spitters AT gmail.com>
- To: Coq Club <coq-club AT inria.fr>
- Subject: [Coq-Club] Archives
- Date: Sat, 1 Aug 2015 16:55:43 +0200
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.
- [Coq-Club] Archives, Bas Spitters, 08/01/2015
- Re: [Coq-Club] Archives, Gabriel Scherer, 08/01/2015
Archive powered by MHonArc 2.6.18.