HLM является помощником доказательства для повседневной математики, которая в настоящее время разрабатывается. Она направлена на пользовательский опыт как можно ближе к регулярной математической практике, и доказательства, которые понятны людям с небольшими дополнительными усилиями.
история версии
- Версия Prototype размещено на 2011-02-08
Несколько исправлений и обновлений - Версия N/A размещено на 2011-02-08
Подробная информация о программе
- Категории: Образования > Других
- Издателя: hlm.sf.net
- Лицензии: Бесплатный
- Цена: N/A
- Версия: Array
- Платформы: windows