在電腦科學和數理邏輯中，證明助手（，亦稱互動式定理證明器）是一類基於形式化邏輯的計算機軟
相關條目：電腦科學、數理邏輯、軟體、形式化證明、數學證明、可計算性、型別論、高階邏輯、正確性 (電腦科學)、完備性
分類：電腦與網路、數學
正在載入維基百科內容⋯
社群對「證明助手」的脈絡補充與討論
尚無備註
成為第一個為這篇文章撰寫備註的人