Programas por tautologica.sf.net

Un conjunto de programas para herramientas de lógica educativa. En este momento el único programa de trabajo en la suite es Tautologica Model Editor.