นี่คือแอป Linux ชื่อ Isabelle/Eclipse ซึ่งสามารถดาวน์โหลดรีลีสล่าสุดเป็น isabelle-eclipse-ide-1.2.0-win32.win32.x86.zip สามารถเรียกใช้ออนไลน์ใน OnWorks ผู้ให้บริการโฮสต์ฟรีสำหรับเวิร์กสเตชัน
ดาวน์โหลดและเรียกใช้แอปนี้ออนไลน์ชื่อ Isabelle/Eclipse พร้อม OnWorks ฟรี
ทำตามคำแนะนำเหล่านี้เพื่อเรียกใช้แอปนี้:
- 1. ดาวน์โหลดแอปพลิเคชั่นนี้ในพีซีของคุณ
- 2. เข้าไปที่ file manager 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
อิซาเบล/อีคลิปส์
DESCRIPTION
ปลั๊กอิน Eclipse ที่จัดเตรียม Prover IDE สำหรับตัวช่วยพิสูจน์ Isabelle ตามเฟรมเวิร์ก Isabelle/ScalaIsabelle/Eclipse เริ่มต้นเป็นพอร์ตของ Isabelle/jEdit Prover IDE เพื่อรวมเข้ากับ Eclipse IDE เป็นปลั๊กอิน การรวมใช้ส่วนประกอบ Eclipse ทั่วไปเพื่อให้การแก้ไขทฤษฎี, สัญลักษณ์ที่ถูกต้อง, ความช่วยเหลือในการทำให้สมบูรณ์, เอาต์พุตการพิสูจน์ และคุณสมบัติอื่นๆ โดยการสร้างบน Eclipse จะสืบทอดสารพัด IDE ต่างๆ ออกจากกล่อง
โปรเจ็กต์ SourceForge นี้ใช้เพื่อแจกจ่ายไฟล์ Isabelle/Eclipse - ซอร์สโค้ดและการจัดการปัญหามีอยู่ใน GitHub: http://github.com/andriusvelykis/isabelle-eclipse
เยี่ยมชมเว็บไซต์ Isabelle/Eclipse ได้ที่ http://andriusvelykis.github.com/isabelle-eclipse
ผู้ชม
เทคโนโลยีสารสนเทศ วิทยาศาสตร์/การวิจัย
ส่วนติดต่อผู้ใช้
คราส
ภาษาโปรแกรม
ชวา สกาลา
นี่คือแอปพลิเคชันที่สามารถดึงข้อมูลจาก https://sourceforge.net/projects/isabelleeclipse/ มีการโฮสต์ใน OnWorks เพื่อให้ทำงานออนไลน์ในวิธีที่ง่ายที่สุดจากหนึ่งในระบบปฏิบัติการฟรีของเรา
