 | هولHOL عبارة عن بيئة برمجة يمكن أن تثبت فيها النظرية وأدوات إثباتها. |
| التحميل الان | |
هول الترتيب والملخص
الإعلانات
هول العلامات
هول وصف
HOL عبارة عن بيئة برمجة يمكن أن يثبت فيها النظرية وأدائها الأدوات المنفذة. HR HOL من منطق ترتيب أعلى عبارة عن بيئة برمجة يمكن أن يثبت فيها النظرية التي يمكن فيها إثباتها وأدوات الأدوات التي يتم تنفيذها. بإجراءات اتخاذ القرارات ويمكن أن تثبت تلقائيا العديد من النظرية البسيطة. تمنح آلية Oracle إمكانية الوصول إلى البرامج الخارجية مثل SAT و BDD Attrines.hol مناسبة بشكل خاص كمنصة لتنفيذ مجموعات من الخصم والتنفيذ والتحقق من الممتلكات. ما الجديد في هذا الإصدار: تمت إضافة تدوين فهم مجموعة جديدة. SML تمت إضافة تدوين السلسلة. تمت إضافة دعم محرر XEMACS. قد تتضمن تعبيرات الحالة الآن الحرفيين الآن كأنماط. يتم الآن تصوير التعاريف الاستقرائية فيما يتعلق بمهن متفاوتة. أنواع التي تستخدم أنماط مختصرة تتم طباعة في شكل مختصر. تمت إضافة دعم للأرقام العقلانية والأعداد الصحيحة ذات الطول الثابت. الحشرات التي منعت بعض المكونات من الترجمة ضمن GCC 4 تم إصلاحها. تم إصلاح التطبيع بالأرقام الطبيعية والأعداد الصحيحة. تم إصلاح التعامل مع السلاسل الفارغة.
هول برامج ذات صلة
