The Coq mailing list

[Jasper Stein <jasper AT cs.kun.nl>]

Dear Coq users,

All work and no play makes Jack a dull boy...

Therefore I am glad to announce the immediate availability for download 
of Coqoban, a Coq implementation of Sokoban, the Japanese warehouse 
keeper's game. The keeper must place boxes on predestined positions. He 
can only push one box at a time and he cannot pull. How to put every box 
in place?

Coqoban can be obtained from http://www.cs.kun.nl/~jasper/WWW/Coqoban.tar.gz
and is scheduled for inclusion in the standard contribution repository.

Contest: who writes the first Coqoban-playing tactic?

Jasper
--
Het verschil tussen theorie en praktijk is dat in theorie
er geen verschil is tussen theorie en praktijk.