3
ایزابل دستیار اثبات نوشتن و بررسی اثبات ریاضی توسط کامپیوتر است.این اجازه می دهد تا فرمول های ریاضی به یک زبان رسمی بیان شود و ابزارهایی را برای اثبات آن فرمول ها در یک حساب منطقی فراهم می کند.
سایت اینترنتی:
http://www.cl.cam.ac.uk/research/hvg/Isabelle/دسته بندی ها
