Programas por lurch.sf.net

Software para ensinar e aprender provas matemáticasOnde a maioria do software de prova matemática se concentra na lógica formal (ou em alguma outra área de especialidade da matemática), Lurch pretende ser verdadeiramente de