Programmi di tautologica.sf.net

Una suite di programmi per strumenti di logica educativa. In questo momento l'unico programma di lavoro nella suite è Tautologica Model Editor.