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

Agda 1 1.0.2

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

Agda là một hệ thống để từng bước phát triển các bằng chứng và chương trình. Đây là dự án sourceforge cho Agda trước đó (Agda 1). Một phiên bản mới hơn của Agda (Agda 2) trong thử nghiệm beta có sẵn từ: http://wiki.portal.chalmers.se/agda/

lịch sử phiên bản

  • Phiên bản 1.0.2 đăng trên 2008-04-23
    Một số bản sửa lỗi và cập nhật
  • Phiên bản 1.0.2 đăng trên 2008-04-23

Chi tiết chương trình

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

  • Survival Medicine Guide Dùng thử miễn phí

    "Yêu cầu Miễn phí Adobe Reader"********Đây là một hướng dẫn y học sống sót trong trường hợp tất cả chúng ta sợ hãi thực sự xảy ra. Đây là một lời khen tuyệt vời cho bất kỳ hướng dẫn sinh tồn tốt. Thông tin này có thể khôn

  • terz Miễn phí

    Terz AutoTagger đáng kinh ngạc là một Audio File Tagger và File Renamer tự động. Nó sử dụng thông tin được cung cấp bởi musicbrainz. Bằng cách sử dụng thông tin ngữ cảnh Terz đạt được kết quả rất tốt. Các tính năng khác: hiển

  • Lua ODE Miễn phí

    Lua ODE là ràng buộc của OpenDE cho ngôn ngữ Lua cho nền tảng Windoze, OS X và Linux.

  • assistent-fah Miễn phí

    Hỗ trợ cho các Folding@home toán tốc độ trung bình của máy tính của bạn trong Folding@home án điện toán phân tán của khách hàng đăng nhập.Assistent for Folding@home cấp phép theo Giấy phép Công cộng GNU

  • Spanish Tester Lite Dùng thử miễn phí

    Tây Ban Nha Tester Pro kiểm tra bạn về liên hợp động từ tiếng Tây Ban Nha và thỏa thuận giữa các phần của bài phát biểu bằng cách tạo ra các câu hỏi đố mô phỏng.Các câu hỏi trắc nghiệm và điền vào chỗ trống kiểm tra kiến

  • IRBEM-LIB Miễn phí

    IRBEM-LIB cung cấp các thói quen để tính toán tọa độ từ tính cho bất kỳ vị trí nào trong từ trường trái đất, để thực hiện chuyển đổi tọa độ, đánh giá các mô hình địa vật lý / không gian-vật lý và để truyền bá quỹ đạo kịp thời

  • libTopo Miễn phí

    libTopo và TopoMap là các công cụ để sử dụng, chuyển đổi, phân tích và hiển thị bản đồ địa hình như ETOPO2, ETOPO5 và GLOBE. TopoMap là giao diện dòng lệnh để chuyển đổi cơ sở dữ liệu địa hình thành dữ liệu thô, hình ảnh, v.v

  • Nanodesigner Miễn phí

    Nanodesigner là một nền tảng phần mềm cho nghiên cứu về công nghệ nano phân tử. Nó có một plug-in kiến trúc và sẽ bao gồm các công cụ cho trực quan hóa phân tử & mô hình, thiết kế các phân tử phức tạp mới, động lực học ph

  • Analysis & Reconstruction Sound Miễn phí

    Analysis & Reconstruction Sound Engine phân tích một tập tin âm thanh thành một quang phổ và có thể tổng hợp quang phổ này, hoặc bất kỳ hình ảnh nào khác do người dùng tạo ra, trở lại thành một âm thanh.

  • G200X Motion controller Miễn phí

    Firmware và mã GUI cho bộ điều khiển chuyển động Geckodrive G200X