coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club]Coq design patterns?

From: Bas Spitters <B.Spitters AT cs.ru.nl>
To: Johannes Waldmann <johannes AT albapasser.de>
Cc: coq-club AT pauillac.inria.fr
Subject: Re: [Coq-Club]Coq design patterns?
Date: Thu, 15 Mar 2007 16:19:50 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

On Thursday 15 March 2007 16:10:49 Johannes Waldmann wrote:
> Dear all,
>
> I'm looking for some general reading on "Coq Design Patterns",
> i.e. established good practices (and alternatives)
> for efficient, flexible, readable construction of theories.
>
> (complemented, of course, by a list of "Coq code smells",
> i. e. a list of things to avoid ...)
>
> http://en.wikipedia.org/wiki/Design_pattern_(computer_science)
> http://en.wikipedia.org/wiki/Code_smell
>
> Any hints appreciated. - Thanks, Johannes Waldmann.

Here is such a page:

http://cocorico.cs.ru.nl/coqwiki/CoqStyle

Bas

[Coq-Club]Coq design patterns?, Johannes Waldmann
- Re: [Coq-Club]Coq design patterns?, Bas Spitters
- Re: [Coq-Club]Coq design patterns?, Julien Narboux