Programas por tautologica.sf.net

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