coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Propositional extensionality: the return of the

From: Enrico Tassi <enrico.tassi AT inria.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Propositional extensionality: the return of the
Date: Thu, 27 Feb 2014 13:28:20 +0100

On Thu, Feb 27, 2014 at 11:40:29AM +0100, Cedric Auger wrote:
> By the way, is there an estimation on when the next Coq release will be out?

There is no commitment, but the feature freeze and the first beta
release is expected in two months. Or at least, that was the plan
at the last Coq working group.

Ciao
--
Enrico Tassi

[Coq-Club] Propositional extensionality: the return of the revenge, Maxime Dénès, 02/27/2014
- Re: [Coq-Club] Propositional extensionality: the return of the revenge, Jason Gross, 02/27/2014
  - Re: [Coq-Club] Propositional extensionality: the return of the revenge, Maxime Dénès, 02/27/2014
- Re: [Coq-Club] Propositional extensionality: the return of the revenge, Cedric Auger, 02/27/2014
  - Re: [Coq-Club] Propositional extensionality: the return of the, Enrico Tassi, 02/27/2014