Programas por lurch.sf.net

Software para ensino e aprendizagem de provas matemáticasOnde a maioria dos softwares de prova matemática se concentra na lógica formal (ou em alguma outra área especializada da matemática), Lurch pretende ser verdadeiramen