coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Announcing Ssreflect version 1.2

From: Stéphane Glondu <glondu AT debian.org>
To: Laurent Théry <Laurent.Thery AT sophia.inria.fr>
Cc: Coq Club <coq-club AT pauillac.inria.fr>, types AT lists.chalmers.se, ssreflect <ssreflect AT msr-inria.inria.fr>
Subject: Re: [Coq-Club] Announcing Ssreflect version 1.2
Date: Thu, 03 Sep 2009 10:08:43 +0200
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Laurent Théry a écrit :
> We are pleased to announce the new release of the Ssreflect
> extension library for the Coq proof assistant, version
> 8.2/8.2pl1. This release includes:
> - an update of the tactic language which complies with the new version
>  of Coq;
> - an update of the combinatoric libraries distributed in the previous
>  release of ssreflect;
> - a new set of libraries for abstract algebra.

Packages are available in Debian (unstable):

  http://packages.debian.org/source/sid/ssreflect

Cheers,

--
Stéphane Glondu

Re: [Coq-Club] Announcing Ssreflect version 1.2, Stéphane Glondu