Logic++

Logic ++ è uno strumento di dimostrazione e analisi del teorema automatizzato multiuso per la logica proposizionale classica. Le sue funzionalità includono dimostrazione di teoremi automatizzati, test di inferenza validi, generazione di prove automatiche (tableau), generazione di tabelle di verità automatizzate e conversione di moduli normali. Lo sviluppo non è in corso in questo momento.