開發者 lurch.sf.net

教學和學習數學證明軟體當大多數數學證明軟體專注於形式邏輯（或其他數學專業領域）時，Lurch 的目標是真正通用的，具有一個跟蹤的用戶介面。