Isabelle

Isabelle

إيزابيل مساعد إثبات لكتابة وفحص البراهين الرياضية عن طريق الكمبيوتر.
إيزابيل مساعد إثبات لكتابة وفحص البراهين الرياضية عن طريق الكمبيوتر.فهو يسمح بالتعبير عن الصيغ الرياضية بلغة رسمية ويوفر أدوات لإثبات تلك الصيغ في حساب التفاضل والتكامل المنطقي.
isabelle

موقع الكتروني:

التصنيفات

بدائل لـ Isabelle لنظام التشغيل Web

F*

F*

F * هي لغة برمجة وظيفية تشبه ML تهدف إلى التحقق من البرنامج.يمكن لـ F * التعبير عن مواصفات دقيقة للبرامج ، بما في ذلك خصائص الصحة الوظيفية.يمكن ترجمة البرامج المكتوبة باللغة F * إلى OCaml أو F # للتنفيذ.