Carte Rare

Assistant de preuve

logiciel permettant l'écriture et la vérification de preuves mathématiques

Valeur

50 W

Attaque

274

Défense

220

Joueurs

0

554 vues Wikipédia ces 30 derniers jours

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.