Affichage combiné de tous les journaux disponibles sur DataFranca. Vous pouvez personnaliser l’affichage en sélectionnant le type de journal, le nom d’utilisateur ou la page concernée (ces deux derniers étant sensibles à la casse).

• 17 mars 2021 à 11:06 Isaline discussion contributions a déplacé la page Theorem proving vers Démonstration de théorèmes
• 14 septembre 2019 à 10:08 Pitpitt discussion contributions a créé la page Theorem proving (Page créée avec « == en construction == Catégorie:Vocabulary Catégorie:Intelligence artificielle Catégorie:UTexas == Définition == xxxxxxx == Français == xxxxxxx == A... ») Balise : Éditeur de wikicode 2017