Tous les journaux publics

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).

Journaux d’opérations

Auteur :

Cible (titre ou Utilisateur:Nom d’utilisateur) :

Chercher parmi les titres commençant par ce texte

À partir du (et antérieurement) :

Filtrer les balises :

Afficher des journaux supplémentaires :

Journal des relectures

Journal des balises

Journal de création d’utilisateur

8 septembre 2024 à 04:53 Claude COULOMBE discussion contributions a déplacé la page Prouveurs de théorème vers Prouveurs de théorèmes
8 septembre 2024 à 04:52 Claude COULOMBE discussion contributions a déplacé la page Prouveurs de théorème vers Démonstrateur de théorèmes
15 mars 2021 à 20:12 Pitpitt discussion contributions a créé la page Prouveurs de théorème (Page créée avec « ==en construction== == Définition == Les prouveurs de théorèmes utilisent des techniques de raisonnement automatisées pour déterminer des preuves de théorèmes math... »)