HLM 是日常数学的证明助手,目前正在开发中。它的目标是尽可能接近常规的数学实践的用户体验,以及人类在很少额外努力的情况下可以理解的证明。
版本历史记录
- 版本 Prototype 发布于 2011-02-08
若干修复和更新 - 版本 N/A 发布于 2011-02-08
软件信息
- 软件分类: 教育 > 其他
- 发布者: hlm.sf.net
- 许可: 免费
- 价格: N/A
- 版本: Array
- 适用平台: windows
HLM 是日常数学的证明助手,目前正在开发中。它的目标是尽可能接近常规的数学实践的用户体验,以及人类在很少额外努力的情况下可以理解的证明。