IsaMorph 0.9
در IsaMorph یک دیسک زنده لینوکس (بر اساس Morphix) شامل ثابت قضیه تعاملی ایزابل است.این به این معنی، شما می توانید از CD بوت کنید و یک "اثبات قضیه" محیط زیست به طور کامل عملیاتی بدون نصب گنو / لینوکس و یا ایزابل. فقط CD درج در کامپیوتر شما و پنج دقیقه بعد اولین قضیه خود را اثبات رسیده است.همه برنامه های در IsaMorph...