معنى proof assistant بالعربية: مساعد الإثبات الرياضي — تعريف وترجمة | قاموس ألمعي