Программы tautologica.sf.net

Набор программ для инструментов образовательной логики. Сейчас единственной рабочей программой в наборе является Tautologica Модель редактора.