教学和学习数学证明软件 当大多数数学证明软件专注于形式逻辑(或其他数学专业领域)时,Lurch 的目标是真正通用的,具有一个跟踪的用户界面。
版本历史记录
- 版本 0.4 发布于 2010-09-22
若干修复和更新 - 版本 0.4 发布于 2010-09-22
软件信息
- 软件分类: 发展 > 其他
- 发布者: lurch.sf.net
- 许可: 免费
- 价格: N/A
- 版本: 0.4
- 适用平台: linux
教学和学习数学证明软件 当大多数数学证明软件专注于形式逻辑(或其他数学专业领域)时,Lurch 的目标是真正通用的,具有一个跟踪的用户界面。