« Theorem proving » : différence entre les versions

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

Rediriger vers :

Version du 17 mars 2021 à 12:06 (voir la source) Isaline (discussion \| contributions) (Isaline a déplacé la page Theorem proving vers Démonstration de théorèmes) Balise : Nouvelle redirection		Dernière version du 17 mars 2021 à 16:43 (voir la source) Pitpitt (discussion \| contributions) 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]]