IsaMorph 0.9
IsaMorph является распределение Linux Live CD (на основе Morphix) показывая интерактивные доказательства теорем Изабель.Это означает, что вы можете загрузиться с компакт-диска и получить полностью работоспособную "доказательства теорем" окружающей среды...