مُثبت النظريات

قد يشير مصطلح "مُثبت النظرية" إلى:

• برنامج إثبات النظريات الآلي
• مساعد البرهان ، أداة تفاعلية لإثبات النظريات