Lurch 0.4

许可: 免费 ‎文件大小: N/A
‎用户评分: 3.0/5 - ‎1 ‎评分

教学和学习数学证明软件 当大多数数学证明软件专注于形式逻辑(或其他数学专业领域)时,Lurch 的目标是真正通用的,具有一个跟踪的用户界面。

版本历史记录

  • 版本 0.4 发布于 2010-09-22
    若干修复和更新
  • 版本 0.4 发布于 2010-09-22

软件信息