HLM adalah asisten bukti untuk matematika sehari-hari, yang saat ini sedang dikembangkan. Ini bertujuan untuk pengalaman pengguna sedekat mungkin dengan praktik matematika reguler, dan bukti yang dapat dimengerti oleh manusia dengan sedikit usaha ekstra.
Riwayat versi
- Versi Prototype diposting di 2011-02-08
Beberapa perbaikan dan pembaruan - Versi N/A diposting di 2011-02-08
Detil Program
- Kategori: Pendidikan > Lain
- Penerbit: hlm.sf.net
- Lisensi: Gratis
- Harga: N/A
- Versi: Array
- Platform: windows