Back Proof assistant English Demostración interactiva de teoremas Spanish Tõestusassistent Estonian System wspomagający dowodzenie twierdzeń Polish Инструмент интерактивного доказательства теорем Russian Асистент доведення теорем Ukrainian
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.