開發者 tautologica.sf.net

教育邏輯工具的程式套件。現在，套件中唯一的工作程式是 Tautologica 模型編輯器。