教學和學習數學證明軟體 當大多數數學證明軟體專注於形式邏輯(或其他數學專業領域)時,Lurch 的目標是真正通用的,具有一個跟蹤的用戶介面。
版本歷史記錄
- 版本 0.4 發佈於 2010-09-22
若干修復和更新 - 版本 0.4 發佈於 2010-09-22
軟體細節
- 軟體分類: 發展 > 其他
- 發佈者: lurch.sf.net
- 軟體性質: 免費
- 價格: N/A
- 版本: 0.4
- 作業系統: linux
教學和學習數學證明軟體 當大多數數學證明軟體專注於形式邏輯(或其他數學專業領域)時,Lurch 的目標是真正通用的,具有一個跟蹤的用戶介面。