[PRL] Stooge sort - Wikipedia, the free encyclopedia

[Paul A. Steckler]

On Fri, Jun 17, 2011 at 11:46 AM, Mitchell Wand <wand at ccs.neu.edu> wrote:
> Anybody want to formalize this in Coq/ACL2/whatever ?

In Sydney, we're organizing a CoqFight, where contestants will be
given problems
to formalize in a competitive setting. This problem might be useful in
that context (if
in no other).

-- Paul