Aller au contenu

« Assistant de preuve » : historique des versions

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

Filtrer les versionsaffichermasquer

Jusqu’au :

Filtrer les balises :

Inverser la sélection

Outils externes et statistiques

Autres discussions [liste]

Admissibilité
Neutralité
Droit d'auteur
Article de qualité
Bon article
Lumière sur
À faire
Archives
Commons

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

actudiff 15:2717 mars 2024 à 15:27‎ Pvi05 discuter contributions‎ m 7 059 octets −2‎ Rédaction : féminin injustifié annuler

actudiff 02:5131 août 2023 à 02:51‎ Lesuperfétatoire discuter contributions‎ 7 061 octets +8‎ Fonctionnalité de suggestions de liens : 2 liens ajoutés. annuler Balises : Éditeur visuel Tâche pour novices Suggéré : ajouter des liens

actudiff 21:1419 décembre 2022 à 21:14‎ Touam discuter contributions‎ 7 053 octets +458‎ →‎Utilisation annuler Balise : Éditeur visuel
actudiff 15:2219 décembre 2022 à 15:22‎ Touam discuter contributions‎ 6 595 octets −173‎ →‎Assistants de preuve annuler
actudiff 13:4319 décembre 2022 à 13:43‎ Touam discuter contributions‎ 6 768 octets +2‎ Section "Théorèmes vérifiés avec des assistants de preuve" déplacée dans la section "succès" annuler

actudiff 09:5518 décembre 2022 à 09:55‎ Touam discuter contributions‎ 6 766 octets +94‎ →‎Théorèmes vérifiés avec des assistants de preuve annuler Balise : Éditeur visuel

actudiff 08:4516 décembre 2022 à 08:45‎ Touam discuter contributions‎ 6 672 octets +97‎ →‎Conception annuler

actudiff 23:0514 décembre 2022 à 23:05‎ Touam discuter contributions‎ 6 575 octets +502‎ →‎Conception annuler Balise : Éditeur visuel
actudiff 21:1414 décembre 2022 à 21:14‎ Touam discuter contributions‎ 6 073 octets +30‎ Les assistants de preuve ne font pas eux-mêmes les démonstrations annuler Balise : Éditeur visuel

actudiff 20:4315 avril 2022 à 20:43‎ Malparti discuter contributions‎ m 6 043 octets −441‎ L'usage du mot "preuve" pour "démonstration" n'est pas un anglicisme. Le mot "preuve", d'origine latine, signifie en Français "ce qui est susceptible d'établir la réalité, la vérité de quelque chose" depuis plus de 1000 ans. Descartes parlait déjà des "preuves des géomètres" (voir par exemple sa lettre à Mersenne 27 mai 1638). annuler

actudiff 17:5923 janvier 2022 à 17:59‎ Simans9093 discuter contributions‎ m 6 484 octets −4‎ Typographie des listes verticales à puces NON introduites par « : » annuler Balises : Éditeur visuel Modification par mobile Modification par le web mobile

actudiff 08:032 juillet 2021 à 08:03‎ WikiCleanerBot discuter contributions‎ m 6 488 octets −9‎ v2.04b - Bot T3 - Correction syntaxique (Lien interne avec cible identique au texte) annuler Balise : WPCleaner

actudiff 23:5330 juin 2021 à 23:53‎ Sællifðum discuter contributions‎ 6 497 octets +24‎ →‎Assistants de preuve : ajout de Metamath annuler Balise : Éditeur visuel : basculé

actudiff 10:1712 avril 2021 à 10:17‎ Levochik discuter contributions‎ 6 473 octets −62‎ →‎Succès : url valide pour liste 100 théorèmes annuler
actudiff 10:1612 avril 2021 à 10:16‎ Levochik discuter contributions‎ 6 535 octets −59‎ →‎Succès : url valide pour liste 100 théorèmes annuler

actudiff 19:0523 novembre 2020 à 19:05‎ RSVartanian discuter contributions‎ m 6 594 octets −15‎ Aucun résumé des modifications annuler

actudiff 17:4027 mai 2020 à 17:40‎ Jbzz discuter contributions‎ m 6 609 octets +38‎ rajout de L∃∀N annuler Balise : Éditeur visuel : basculé

actudiff 14:0510 mai 2019 à 14:05‎ Guiguidu60 discuter contributions‎ m 6 571 octets +28‎ →‎Voir aussi : Ajout d'un sous-titre annuler Balise : Éditeur visuel

actudiff 13:1526 décembre 2018 à 13:15‎ 81.240.144.108 discuter‎ 6 543 octets +24‎ →‎Voir aussi annuler

actudiff 21:1224 novembre 2018 à 21:12‎ Epsilon0 discuter contributions‎ m 6 519 octets +39‎ →‎Conception : lien annuler

actudiff 18:276 octobre 2018 à 18:27‎ Valvino discuter contributions‎ 6 480 octets −3‎ Feit-Thompson annuler

actudiff 15:4329 juillet 2018 à 15:43‎ Jaipasdepseudo discuter contributions‎ m 6 483 octets +19‎ v1.43 - Homonymies : Correction de 1 lien - Démonstration annuler Balise : WPCleaner

actudiff 21:4929 mai 2018 à 21:49‎ ProméthéeBot discuter contributions‎ m 6 464 octets +1‎ →‎Théorèmes prouvés avec des assistants de preuve : Bot : HTTP→ HTTPS annuler

actudiff 15:449 avril 2018 à 15:44‎ PIerre.Lescanne discuter contributions‎ m 6 463 octets +1‎ Aucun résumé des modifications annuler
actudiff 14:509 avril 2018 à 14:50‎ Roll-Morton discuter contributions‎ 6 462 octets +30‎ →‎Voir aussi annuler

actudiff 20:176 novembre 2017 à 20:17‎ PIerre.Lescanne discuter contributions‎ m 6 432 octets 0‎ →‎Utilisation annuler
actudiff 20:146 novembre 2017 à 20:14‎ PIerre.Lescanne discuter contributions‎ 6 432 octets +153‎ →‎Utilisation annuler
actudiff 19:566 novembre 2017 à 19:56‎ 192.16.204.209 discuter‎ 6 279 octets +50‎ →‎Utilisation annuler Balise : Éditeur visuel
actudiff 18:026 novembre 2017 à 18:02‎ 192.16.204.209 discuter‎ 6 229 octets 0‎ →‎Théorèmes prouvés avec des assistants de preuve annuler Balise : Éditeur visuel

actudiff 19:422 novembre 2017 à 19:42‎ ProméthéeBot discuter contributions‎ m 6 229 octets +1‎ →‎Succès : Bot : HTTP→ HTTPS annuler

actudiff 20:357 octobre 2017 à 20:35‎ Herr Satz discuter contributions‎ m 6 228 octets +2‎ ± Catégorie:Assistant de preuve->Catégorie:Assistant de preuve annuler Balise : HotCats

actudiff 12:1717 juillet 2016 à 12:17‎ PIerre.Lescanne discuter contributions‎ 6 226 octets +8‎ →‎Théorèmes prouvés avec des assistants de preuve annuler
actudiff 12:1617 juillet 2016 à 12:16‎ PIerre.Lescanne discuter contributions‎ 6 218 octets +41‎ →‎Théorèmes prouvés avec des assistants de preuve annuler
actudiff 11:1017 juillet 2016 à 11:10‎ Levochik discuter contributions‎ 6 177 octets 0‎ →‎Théorèmes prouvés avec des assistants de preuve : erreur date 1ere preuve de Hales annuler

actudiff 01:0223 juin 2016 à 01:02‎ SniperMaské discuter contributions‎ m 6 177 octets +54‎ wikif. annuler

actudiff 01:078 janvier 2016 à 01:07‎ Deansfa discuter contributions‎ m 6 123 octets +6‎ Aucun résumé des modifications annuler

actudiff 03:2513 juin 2015 à 03:25‎ Anne Bauval discuter contributions‎ 6 117 octets +341‎ liens+précisions (dont : Nathan Kahn a seulement fait état de cette liste en l'attribuant à Paul et Jack Abad) annuler

actudiff 23:4624 novembre 2014 à 23:46‎ Visite fortuitement prolongée discuter contributions‎ m 5 776 octets −4‎ →‎Théorèmes prouvés avec des assistants de preuve : nettoyage de lien externe annuler

actudiff 09:3128 octobre 2014 à 09:31‎ Hunsu discuter contributions‎ 5 780 octets +9‎ →‎Théorèmes prouvés avec des assistants de preuve annuler
actudiff 09:3028 octobre 2014 à 09:30‎ Hunsu discuter contributions‎ 5 771 octets +286‎ →‎Théorèmes prouvés avec des assistants de preuve annuler

actudiff 23:4327 octobre 2014 à 23:43‎ Sergelucas discuter contributions‎ m 5 485 octets −6‎ →‎Théorèmes prouvés avec des assistants de preuve annuler

actudiff 17:1611 mars 2014 à 17:16‎ Soren56 discuter contributions‎ 5 491 octets +15‎ Aucun résumé des modifications annuler

actudiff 02:484 décembre 2013 à 02:48‎ Cantons-de-l'Est discuter contributions‎ m 5 476 octets −10‎ Typographie. Plus court. annuler

actudiff 01:1730 juillet 2013 à 01:17‎ Roll-Morton discuter contributions‎ m 5 486 octets +24‎ Ajout rapide de {{portail}} : + informatique théorique ; avec BandeauxPortails annuler

actudiff 13:0114 mai 2013 à 13:01‎ PIerre.Lescanne discuter contributions‎ 5 462 octets −527‎ →‎Théorème à vendre : voir discussion annuler

actudiff 20:2611 mai 2013 à 20:26‎ Anne Bauval discuter contributions‎ m 5 989 octets +47‎ →‎Voir aussi : +1 annuler

actudiff 08:295 mai 2013 à 08:29‎ (:Julien:) discuter contributions‎ m 5 942 octets −38‎ →‎Voir aussi : redirige ici annuler

actudiff 12:1119 avril 2013 à 12:11‎ PIerre.Lescanne discuter contributions‎ 5 980 octets +51‎ →‎Théorème à vendre annuler

actudiff 20:5118 avril 2013 à 20:51‎ ArtemisOne discuter contributions‎ 5 929 octets +38‎ →‎Voir aussi : Lien vers une nouvelle page annuler

actudiff 19:1218 mars 2013 à 19:12‎ JackBot discuter contributions‎ m 5 891 octets +5‎ Vérification des liens externes et traduction de leurs modèles annuler

Ce document provient de « https://fr.wikipedia.org/wiki/Assistant_de_preuve ».