Chương trình theo cs6725-prover.sf.net
-
UNB Theorem Prover? Miễn phí
Định lý tự động Prover thực hiện trong Java và sử dụng cây mệnh đề. Phần mềm này sẽ có thể đọc định lý toán học từ TPTP và chứng minh hoặc bác bỏ chúng.
Định lý tự động Prover thực hiện trong Java và sử dụng cây mệnh đề. Phần mềm này sẽ có thể đọc định lý toán học từ TPTP và chứng minh hoặc bác bỏ chúng.