Program menurut lurch.sf.net

Perangkat lunak untuk bukti matematika pengajaran dan pembelajaranDi mana sebagian besar perangkat lunak bukti matematika berkonsentrasi pada logika formal (atau beberapa area khusus matematika lainnya), Lurch bertujuan unt