Gửi phần mềm
  1. Nhà
  2. Windows
  3. Khác
  4. Coq4Eclipse

Coq4Eclipse

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 3.0/5 - ‎1 ‎Phiếu
Tải về

Coq4Eclipse là một plugin cho Nền tảng Eclipse cung cấp giao diện cho Coq Proof Assistant. Nó sẽ hỗ trợ người dùng tô sáng cú pháp, cơ sở tìm kiếm, ký hiệu toán học, in đẹp, v.v.

lịch sử phiên bản

  • Phiên bản N/A đăng trên 2011-08-07
    Một số bản sửa lỗi và cập nhật
  • Phiên bản N/A đăng trên 2011-08-07

Chi tiết chương trình

Các chương trình liên quan

  • Zinuc Miễn phí

    Bạn luôn luôn mệt mỏi của tìm kiếm các máy tính Windows từ một số vị trí lạ từ máy tính của bạn? Zinuc là một trang web chỉ, rất đơn giản, nhưng máy tính mạnh mẽ. Bạn không cần phải tải về bất cứ điều gì để sử dụng nó. Kiểm t

  • RouteCalc Miễn phí

    Máy tính tuyến đường lệnh cho hàng không. Đầu vào: Cruise Speed, Fuel Burn, Wind Direction / Speed, Segment Distance. Kết quả đầu ra: Vòng bi chuyến bay, Tốc độ mặt đất, Thời gian phân đoạn, Đốt nhiên liệu. Giao dịch với nhiề

  • Auditory Modelling Toolbox Miễn phí

    Hộp công cụ mô hình hóa thính giác là một nỗ lực của cộng đồng để xây dựng một hộp công cụ đơn giản và được thử nghiệm tốt để làm mô hình thính giác ở Matlab, Octave và C.

  • sigTOOL Miễn phí

    sigTOOL cung cấp môi trường phân tích tín hiệu có thể mở rộng cho người dùng để xử lý dữ liệu điện sinh lý trong MATLAB. Neuron spike-train, + phân tích quang phổ và tên miền thời gian được xây dựng trong. Xem http://dx.doi.o

  • Periodic Table Droid Dùng thử miễn phí

    Bảng tuần hoàn hóa học hóa học hoàn chỉnh nhất có sẵn cho Android của bạn.Các tính năng chính là:& bull; 118 yếu tố& tìm kiếm tức thì: Tìm các yếu tố theo tên, biểu tượng hoặc số. Viết chỉ là một phần của tên

  • A Hyperspectral Image Reader Miễn phí

    Đây là mã C++ để đọc trong ENVI Hyperspectral Images

  • Louisiana Criminal Law Miễn phí

    Tiêu đề 14 của Đạo luật sửa đổi Louisiana, Luật hình sự, cho DroidLaw!Tiêu đề 14 của Đạo luật sửa đổi Louisiana, Luật hình sự, cho DroidLaw.ĐÂY LÀ MỘT TIỆN ÍCH CHO DROIDLAW. &BẠN KHÔNG THỂ #39; T MỞ ỨNG DỤNG NÀY. B

  • GMAT Maths Preview Miễn phí

    Bạn có muốn tăng cơ hội thành công của bạn trong GMAT hoặc GRE? Sau đó, đây là một ứng dụng hoàn hảo cho bạn. Ứng dụng này dạy cho bạn lời khuyên thiết thực để thực hiện tính toán nhanh hơn. Bạn sẽ có thể nhiều 97 và 93 và ch

  • Quran Indonesia mp3+trnslation Miễn phí

    Lắng nghe hoàn thành Kinh Qur'an thánh trong bản dịch tiếng Indonesia. Ứng dụng của chúng tôi phát các tệp âm thanh ở một trong những người đọc yêu thích của bạn1. Cho phép bạn tải về Kinh Qur'an hoàn chỉnh hoặc bạn có thể tả

  • ProteinFinder database search method Miễn phí

    ProteinFinder - một công cụ tính toán song song ngôn ngữ C để tìm kiếm cơ sở dữ liệu phổ khối protein song song. ProteinFinder được giao tiếp với cơ sở dữ liệu quan hệ MySQL MassSpec lưu trữ dữ liệu thử nghiệm, cơ sở dữ liệu