Помощник в доказательстве (Proof Assistant)

Помощник в доказательстве – программное обеспечение, помогающее в проведении формальных доказательств. Также называют инструментами интерактивного доказательства.