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

Phần mềm giảng dạy và học chứng minh toán họcTrong 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 đ