coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club]search the user contribs

From: Frederic Blanqui <blanqui AT loria.fr>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club]search the user contribs
Date: Mon, 11 Sep 2006 16:01:39 +0200 (CEST)
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

hello. i couldn't find any contrib on matrices using the web interface, although there is Nicolas Magaud's contrib in Sophia-Antipolis/Matrices.

try to search "matrices" for instance.

nicolas provides the following keywords:

Keywords: matrices, vectors, linear algebra, Coq modules

i imagine that other contribs are not properly indexed. how does the search procedure work?

[Coq-Club]search the user contribs, Frederic Blanqui