IsaMorph 0.9
IsaMorph interaktiv teoremi Prover Isabelle featuring (Morphix əsasında) linux distribution Live CD edir.Bu CD-dən boot və GNU / Linux və ya Isabelle yüklemeden tam əməliyyat "teoremi sübut" Ətraf mühiti əldə edə bilərsiniz deməkdir. Sadəcə PC CD daxil...