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 Isabelle. Các đối thủ chính bao gồm: Coq, F*. Ngoài ra, người dùng cũng tiến hành so sánh giữa Isabelle và Agda. 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 giáo dục và tham khảo.
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 Isabelle. Các đối thủ chính bao gồm: Coq, F*. Ngoài ra, người dùng cũng tiến hành so sánh giữa Isabelle và Agda. 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 giáo dục và tham khảo.
Coq là một trợ lý bằng chứng, cho phép bạn viết các bằng chứng toán học một cách nghiêm ngặt và trang trọng ...
Isabelle là một trợ lý bằng chứng để viết và kiểm tra bằng chứng toán học bằng máy tính.
Isabelle là một trợ lý bằng chứng để viết và kiểm tra bằng chứng toán học bằng máy tính.
Linux
Mac
Windows
Isabelle là một trợ lý bằng chứng để viết và kiểm tra bằng chứng toán học bằng máy tính.
Nó cho phép các công thức toán học được thể hiện bằng một ngôn ngữ chính thức và cung cấp các công cụ để chứng minh các công thức đó trong một phép tính logic.
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?
