The Coq mailing list

[Jasmin Christian Blanchette <jasmin.blanchette AT gmail.com>]

Am 12.11.2011 um 17:03 schrieb Alexandre Pilkiewicz:

> I mean, sure, there is the Qt4 dance
> (http://www.youtube.com/watch?v=NbTEVbQLC8s), but I did not finish a
> shinny multiplateforme software, I finished a proof!

You could try to hire that awesome "French" dancer to do a Qed dance. He's 
left the world of crossplatform software development and entered that of 
theorem proving a few years ago.

Jasmin

P.S. I put the quotes around "French" above, but "awesome" and "dancer" would 
have been good candidates too.