开发者 lurch.sf.net

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