coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Laurent Théry <Laurent.Thery AT inria.fr>
- To: "coq-club AT inria.fr >> Coq Club" <coq-club AT inria.fr>
- Subject: Re: [Coq-Club] [ssreflect] Ring, field and friends
- Date: Mon, 10 Aug 2015 12:31:00 +0200
Sorry, my previous message was wrongly sent to the Coq mailing list
- Re: [Coq-Club] [ssreflect] Ring, field and friends, Laurent Théry, 08/10/2015
- <Possible follow-up(s)>
- Re: [Coq-Club] [ssreflect] Ring, field and friends, Laurent Théry, 08/10/2015
Archive powered by MHonArc 2.6.18.