IsaMorph 0.9
IsaMorph е живо CD линукс дистрибуция (базирана на Morphix) с участието на интерактивната теорема доказващ Изабел.Това означава, можете да стартирате от CD и да получите напълно работещ "теорема доказване" среда, без да инсталирате GNU / Linux или Изабел....