![](/statics/img/blank.png)
Lurch 0.4
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
Hãy chờ... Liên kết tải xuống của bạn đang được xác minh cho nội dung độc hại.
Bạn sẽ có thể tải xuống trong 5 giây.
Bạn sẽ có thể tải xuống trong 5 giây.
Về Lurch
Phần mềm giảng dạy và học chứng minh toán học Trong trường hợp hầu hết các phần mềm chứng minh toán học tập trung vào logic chính thức (hoặc một số lĩnh vực chuyên môn khác của toán học), Lurch nhằm mục đích thực sự là mục đích chung, với một giao diện người dùng khó chịu.