ajfv / asistente_de_pruebas Goto Github PK
View Code? Open in Web Editor NEWPrimer proyecto del Laboratorio de Lenguajes de Programación de la USB: Un asistente para pruebar teoremas de lógica proposicional usando la lógica ecuacional del libro A Logical Approach to Discrete Math, de Gries y Schneider.