Skip to Content.

Sympa Menu

coq-club - [Coq-Club] An interesting reference

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] An interesting reference

chronological Thread

From: Pierre Lescanne <pierre.lescanne AT ens-lyon.fr>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] An interesting reference
Date: Fri, 07 Nov 2008 15:54:05 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Organization: ENS de Lyon

This link may interest the Coq community.

http://www.physorg.com/news145200777.html

Pierre Lescanne

[Coq-Club] An interesting reference, Pierre Lescanne

Archive powered by MhonArc 2.6.16.