The Coq mailing list

[Louis Garde <louis.garde AT free.fr>]

Le 31 janv. 2015 à 13:49, Xavier Leroy 
<Xavier.Leroy AT inria.fr>
 a écrit :

> On 30/01/15 21:01, Eric Mullen wrote:
>> If you wanted to give a 10 minute demo to show off how cool Coq was, what
>> example would you use?
> 
> Below is an example that I used several times with professional
> engineers. 

Bonjour,

Quelle genre de formation traitant de Coq proposez vous pour les ingénieurs ?
Je voudrais m'essayer à la demonstration de propriétes d'un programme de 
sécurité pour un robot industriel, une formation m'aiderait à me lancer...

Merci,

Louis.