이것은 Isabelle-eclipse-ide-1.2.0-win32.win32.x86.zip으로 최신 릴리스를 다운로드할 수 있는 Isabelle/Eclipse라는 Linux 앱입니다. 워크스테이션용 무료 호스팅 제공업체인 OnWorks에서 온라인으로 실행할 수 있습니다.
Isabelle/Eclipse라는 이 앱을 OnWorks와 함께 무료로 다운로드하여 온라인으로 실행하십시오.
이 앱을 실행하려면 다음 지침을 따르세요.
- 1. 이 애플리케이션을 PC에 다운로드했습니다.
- 2. 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX에 원하는 사용자 이름을 입력합니다.
- 3. 이러한 파일 관리자에서 이 응용 프로그램을 업로드합니다.
- 4. 이 웹사이트에서 OnWorks Linux 온라인 또는 Windows 온라인 에뮬레이터 또는 MACOS 온라인 에뮬레이터를 시작합니다.
- 5. 방금 시작한 OnWorks Linux OS에서 원하는 사용자 이름으로 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX로 이동합니다.
- 6. 응용 프로그램을 다운로드하여 설치하고 실행합니다.
스크린 샷
Ad
이사벨/이클립스
기술
Isabelle/Scala 프레임워크를 기반으로 Isabelle 증명 도우미용 Prover IDE를 제공하는 Eclipse 플러그인.Isabelle/Eclipse는 Eclipse IDE와 플러그인으로 통합하기 위해 Isabelle/jEdit Prover IDE의 포트로 시작되었습니다. 통합은 공통 Eclipse 구성 요소를 사용하여 이론 편집, 올바른 기호, 완성 지원, 증명자 출력 및 기타 기능을 제공합니다. Eclipse를 기반으로 구축함으로써 다양한 IDE 장점을 즉시 상속합니다.
이 SourceForge 프로젝트는 Isabelle/Eclipse 파일을 배포하는 데 사용됩니다. 소스 코드 및 문제 관리는 GitHub에서 사용할 수 있습니다. http://github.com/andriusvelykis/isabelle-eclipse
다음에서 Isabelle/Eclipse 웹사이트를 방문하십시오. http://andriusvelykis.github.com/isabelle-eclipse
오디언스 (Audience)
정보 기술, 과학/연구
사용자 인터페이스
식
프로그래밍 언어
자바, 스칼라
이것은 https://sourceforge.net/projects/isabelleeclipse/에서도 가져올 수 있는 애플리케이션입니다. 무료 운영 체제 중 하나에서 가장 쉬운 방법으로 온라인으로 실행하기 위해 OnWorks에서 호스팅되었습니다.
