Lulio

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