3
إيزابيل مساعد إثبات لكتابة وفحص البراهين الرياضية عن طريق الكمبيوتر.فهو يسمح بالتعبير عن الصيغ الرياضية بلغة رسمية ويوفر أدوات لإثبات تلك الصيغ في حساب التفاضل والتكامل المنطقي.
موقع الكتروني:
http://www.cl.cam.ac.uk/research/hvg/Isabelle/التصنيفات
