coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club]Coq design patterns?

From: Johannes Waldmann <johannes AT albapasser.de>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club]Coq design patterns?
Date: Thu, 15 Mar 2007 16:10:49 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

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.

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