Đây là ứng dụng Linux có tên Isabelle / Eclipse có bản phát hành mới nhất có thể được tải xuống dưới dạng isabelle-eclipse-ide-1.2.0-win32.win32.x86.zip. Nó có thể được chạy trực tuyến trong nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks cho máy trạm.
Tải xuống và chạy trực tuyến ứng dụng có tên Isabelle / Eclipse với OnWorks này miễn phí.
Làm theo các hướng dẫn sau để chạy ứng dụng này:
- 1. Đã tải ứng dụng này xuống PC của bạn.
- 2. Nhập vào trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.
- 3. Tải lên ứng dụng này trong trình quản lý tệp như vậy.
- 4. Khởi động trình giả lập trực tuyến OnWorks Linux hoặc trình giả lập trực tuyến Windows hoặc trình mô phỏng trực tuyến MACOS từ trang web này.
- 5. Từ Hệ điều hành OnWorks Linux mà bạn vừa khởi động, hãy truy cập trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.
- 6. Tải xuống ứng dụng, cài đặt và chạy nó.
MÀN HÌNH
Ad
Isabelle / Eclipse
MÔ TẢ
Các trình cắm thêm Eclipse cung cấp Prover IDE cho trợ lý bằng chứng Isabelle, dựa trên khung Isabelle / Scala.Isabelle / Eclipse bắt đầu dưới dạng một cổng của Isabelle / jEdit Prover IDE để tích hợp với IDE Eclipse dưới dạng trình cắm thêm. Việc tích hợp sử dụng các thành phần Eclipse phổ biến để cung cấp khả năng chỉnh sửa lý thuyết, các ký hiệu chính xác, hỗ trợ hoàn thành, đầu ra câu tục ngữ và các tính năng khác. Bằng cách xây dựng trên Eclipse, nó kế thừa nhiều tiện ích IDE khác nhau.
Dự án SourceForge này được sử dụng để phân phối tệp Isabelle / Eclipse - mã nguồn và quản lý sự cố có sẵn trên GitHub: http://github.com/andriusvelykis/isabelle-eclipse
Truy cập trang web Isabelle / Eclipse tại http://andriusvelykis.github.com/isabelle-eclipse
Khán giả
Công nghệ thông tin, Khoa học / Nghiên cứu
Giao diện người dùng
Eclipse
Ngôn ngữ lập trình
Java, Scala
Đây là một ứng dụng cũng có thể được tìm nạp từ https://sourceforge.net/projects/isabelleeclipse/. Nó đã được lưu trữ trên OnWorks để có thể chạy trực tuyến một cách dễ dàng nhất từ một trong những Hệ thống hoạt động miễn phí của chúng tôi.
