« Informatique et Sciences du Numérique au lycée : un pas plus loin/LANGAGES/Théorie des Types et Assistants de Preuve » : historique des versions

Voir les opérations sur cette page (voir le journal des abus)

Outils externes et statistiques :
Auteurs du site • Auteurs de la page • Modifications de la page • Modifications d'un utilisateur • Rechercher l'auteur d’un passage • Suivis • Consultations • Détection des plagiats

Légende : (actu) = différence avec la version actuelle, (diff) = différence avec la version précédente, m = modification mineure

Récupérée de « https://fr.wikibooks.org/wiki/Informatique_et_Sciences_du_Numérique_au_lycée_:_un_pas_plus_loin/LANGAGES/Théorie_des_Types_et_Assistants_de_Preuve »