coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Looking for Coq developers

From: Michael Day <mikeday AT yeslogic.com>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] Looking for Coq developers
Date: Tue, 05 Aug 2008 21:01:48 +1000
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Hello,

We are looking for people fluent in Coq for some program and proof development work. The work will be exciting and open source, part time or full time, payment is negotiable. Please contact me off-list for further details.

Best regards,

Michael

--
Print XML with Prince!
http://www.princexml.com

[Coq-Club] Looking for Coq developers, Michael Day