Phần mềm
Chúng tôi đã tổng hợp danh sách 3 phần mềm thay thế miễn phí và trả phí cho Agda. Các đối thủ chính bao gồm: Isabelle, Coq. Ngoài ra, người dùng cũng tiến hành so sánh giữa Agda và F*. Bạn cũng có thể xem các tùy chọn tương tự khác tại đây: Phần mềm phát triển, Ngôn ngữ lập trình.
Chúng tôi đã tổng hợp danh sách 3 phần mềm thay thế miễn phí và trả phí cho Agda. Các đối thủ chính bao gồm: Isabelle, Coq. Ngoài ra, người dùng cũng tiến hành so sánh giữa Agda và F*. Bạn cũng có thể xem các tùy chọn tương tự khác tại đây: Phần mềm phát triển, Ngôn ngữ lập trình.
Agda là một ngôn ngữ lập trình chức năng phụ thuộc. Nó có gia đình quy nạp, tức là
Agda là một ngôn ngữ lập trình chức năng phụ thuộc. Nó có gia đình quy nạp, tức là
Linux
Mac
Windows
Agda là một ngôn ngữ lập trình chức năng phụ thuộc. Nó có các họ quy nạp, tức là các kiểu dữ liệu phụ thuộc vào các giá trị, chẳng hạn như loại vectơ có độ dài cho trước. Nó cũng có các mô-đun tham số, toán tử mixfix, ký tự Unicode và giao diện Emacs tương tác có thể hỗ trợ lập trình viên viết chương trình.
Agda là một trợ lý bằng chứng. Nó là một hệ thống tương tác để viết và kiểm tra bằng chứng. Agda dựa trên lý thuyết loại trực giác, một hệ thống nền tảng cho toán học xây dựng được phát triển bởi nhà logic học người Thụy Điển Per Martin-Löf. Nó có nhiều điểm tương đồng với các trợ lý chứng minh khác dựa trên các loại phụ thuộc, chẳng hạn như Coq, Epigram, Matita và NuPRL.
Chia sẻ ý kiến về phần mềm, viết đánh giá và giúp làm cho nó càng tốt hơn!
Đề xuất thay đổi
Phản hồi của bạn
Your vote has been counted.
Do you have experience using this software?
