HLM adalah pembantu bukti untuk matematik setiap hari, yang sedang dibangunkan. Ia bertujuan untuk pengalaman pengguna sekuat mungkin untuk amalan matematik biasa, dan bukti yang difahami oleh manusia dengan sedikit usaha tambahan.
sejarah versi
- Versi Prototype diposkan pada 2011-02-08
Beberapa pembaikan dan pengemaskinian - Versi N/A diposkan pada 2011-02-08
Butiran Atur Cara
- Kategori: Pendidikan > Lain
- Penerbit: hlm.sf.net
- Lesen: Percuma
- Harga: N/A
- Versi: Array
- Platform: windows