Homotopy من نوع نظرية نوع نظرية Homotopy Coq اثبات رسمي نظرية المعلومات نظرية Agda اللغة الرسمية الرياضيات نظام هاسكل البرهان الرياضي الأحمر النص خط زاوية شعار العلامة التجارية المستطيل مربع التصميم الجرافيكي