coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: AUGER Cédric <sedrikov AT gmail.com>
- To: Feró <ferenc.tamasi AT gmail.com>
- Cc: Math Prover <mathprover AT yahoo.com>, "coq-club AT inria.fr" <coq-club AT inria.fr>
- Subject: Re: [Coq-Club]
- Date: Sat, 18 May 2013 14:05:08 +0200
That is not an answer, but please provide a title for each thread you
start "[Coq-Club]" is not a good title.
- [Coq-Club], Math Prover, 05/18/2013
- Re: [Coq-Club], Jonas Oberhauser, 05/18/2013
- Re: [Coq-Club], Feró, 05/18/2013
- Re: [Coq-Club], Math Prover, 05/18/2013
- Re: [Coq-Club], Feró, 05/18/2013
- Re: [Coq-Club], AUGER Cédric, 05/18/2013
- Re: [Coq-Club] Infer Implicit Type of KEq, Math Prover, 05/18/2013
- Re: [Coq-Club], Feró, 05/18/2013
- Re: [Coq-Club], Math Prover, 05/18/2013
Archive powered by MHonArc 2.6.18.