« Theorem proving » : différence entre les versions


(Isaline a déplacé la page Theorem proving vers Démonstration de théorèmes)
Balise : Nouvelle redirection
 
Aucun résumé des modifications
 
Ligne 1 : Ligne 1 :
#REDIRECTION [[Démonstration de théorèmes]]
#REDIRECTION [[Démonstration de théorèmes]]
[[Catégorie:ENGLISH]]

Dernière version du 17 mars 2021 à 15:43

Contributeurs: Isaline Hodecent, wiki