Frege

La meta de este proyecto es producir una plataforma de software que provea un entorno para probar teoremas de la lógica de primer orden, didácticamente útil para los estudiantes de lógica de las universidades mexicanas.