Chương trình theo liblogic.sf.net

libLogic là một thư viện phần mềm cho định lý tự động chứng minh với khả năng tin-to-be-unequalled để chứng minh một cách chính xác và hiệu quả tất cả các báo cáo chứng minh trong bất kỳ lý thuyết hợp lý của bất kỳ thứ tự, kh