Perangkat lunak untuk bukti matematika pengajaran dan pembelajaran Di mana sebagian besar perangkat lunak bukti matematika berkonsentrasi pada logika formal (atau beberapa area khusus matematika lainnya), Lurch bertujuan untuk benar-benar tujuan umum, dengan antarmuka pengguna yang attracitve.
Riwayat versi
- Versi 0.4 diposting di 2010-09-22
Beberapa perbaikan dan pembaruan - Versi 0.4 diposting di 2010-09-22
Detil Program
- Kategori: Pengembangan > Lain
- Penerbit: lurch.sf.net
- Lisensi: Gratis
- Harga: N/A
- Versi: 0.4
- Platform: linux