Programmes par tautologica.sf.net

Une suite de programme pour les outils logiques éducatifs. À l’heure actuelle, le seul programme de travail dans la suite est Tautologica Model Editor.