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