โปรแกรมตาม lurch.sf.net

ซอฟต์แวร์สําหรับการสอนและการเรียนรู้หลักฐานทางคณิตศาสตร์ในกรณีที่ซอฟต์แวร์พิสูจน์ทางคณิตศาสตร์ส่วนใหญ่มุ่งเน้นไปที่ตรรกะอย่างเป็นทางการ (หรือพื้นที่พิเศษอื่น ๆ ของคณิตศาสตร์) Lurch มีจุดมุ่งหมายเพื่อวัตถุประสงค์ทั่วไปอย่างแ