새로운 소프트웨어 에 Achim D. Brucker

IsaMorph은 대화 형 정리의 증명 이사벨을 갖춘 (Morphix 기준) 리눅스 배포판 라이브 CD입니다.이것은 당신이 CD로 부팅와 GNU / 리눅스 또는 이자벨를 설치하지 않고 완벽하게 작동 "정리 증명"환경을 얻을 수있는 것을 의미한다. 그냥 PC에 CD를 삽입하고 첫 번째 정리 입증 오분 후에 있습니다.IsaMorph 내에서 분산 모든 프로그램은 무료 소프트웨어입니다. 이는 운영 시스템이 CD에 포함 된 응용 프로그램은 자유롭게 복사, 수정...