Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Archives

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Archives


Chronological Thread 
  • 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.



Archive powered by MHonArc 2.6.18.

Top of Page