Re: Pascal ?

Retourner au contenu associé (dépêche : Des logiciels libres dans les programmes de mathématiques du lycée)

[^] # Re: Pascal ?

Posté par Perthmâd le 26 juin 2009 à 16:19. En réponse à la dépêche Des logiciels libres dans les programmes de mathématiques du lycée. Évalué à 2.

Faut leur faire faire du Coq (cf. Coq_(logiciel)) !

Ils n'ont plus qu'à extraire le programme de la preuve :D