Contributions de l’utilisateur Dornel
Aller à la navigation
Aller à la recherche
21 mars 2019
- 15:1821 mars 2019 à 15:18 diff hist +335 Initiation à la démonstration sur ordinateur et certification de logiciel →Présentation de la programmation fonctionnelle et de Coq
20 mars 2019
- 15:5620 mars 2019 à 15:56 diff hist +646 Initiation à la démonstration sur ordinateur et certification de logiciel Aucun résumé des modifications
- 15:5220 mars 2019 à 15:52 diff hist +2 275 Initiation à la démonstration sur ordinateur et certification de logiciel Aucun résumé des modifications
- 15:4720 mars 2019 à 15:47 diff hist +1 208 Initiation à la démonstration sur ordinateur et certification de logiciel →Introduction
- 15:4520 mars 2019 à 15:45 diff hist +546 Initiation à la démonstration sur ordinateur et certification de logiciel →Introduction
- 15:4420 mars 2019 à 15:44 diff hist −29 Initiation à la démonstration sur ordinateur et certification de logiciel Aucun résumé des modifications
- 15:4120 mars 2019 à 15:41 diff hist +79 N Initiation à la démonstration sur ordinateur et certification de logiciel Page créée avec « = Initiation à la démonstration sur ordinateur et certification de logiciel = »