Programas por tautologica.sf.net

Um programa para ferramentas lógicas educacionais. Neste momento, o único programa de trabalho na suíte é o Tautologica Model Editor.