Assistant de preuve
logiciel permettant l'écriture et la vérification de preuves mathématiques
Assistant de preuve
En informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des assertions relatives à l'exécution de programmes informatiques.
Lire sur Wikipédia · Image Roconnor, Public domain
Ouvre des boosters, collectionne des cartes et échange-les. Gratuit.
Jouer gratuitement