Logic++

Logic ++ es una herramienta de análisis y prueba de teoremas automatizada multipropósito para la lógica proposicional clásica. Sus características incluyen la prueba automatizada de teoremas, la prueba de inferencia válida, la generación de pruebas automatizadas (tableau), la generación automatizada de tablas de verdad y la conversión de formas normales. El desarrollo no está en curso en este momento.