HLM Proof Assistant

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

HLM 是日常数学的证明助手,目前正在开发中。它的目标是尽可能接近常规的数学实践的用户体验,以及人类在很少额外努力的情况下可以理解的证明。

版本历史记录

  • 版本 Prototype 发布于 2011-02-08
    若干修复和更新
  • 版本 N/A 发布于 2011-02-08

软件信息