Programas por lurch.sf.net

Software para enseñar y aprender pruebas matemáticasDonde la mayoría de los programas de prueba matemática se concentra en la lógica formal (o en alguna otra área especializada de las matemáticas), Lurch tiene como objetivo