Proof assistant
[de] Maschinengestütztes Beweisen
[es] Demostración interactiva de teoremas
[et] Tõestusassistent
[fr] Assistant de preuve
[pl] System wspomagający dowodzenie twierdzeń
[ru] Инструмент интерактивного доказательства теорем
[uk] Асистент доведення теорем