开发者 tautologica.sf.net

教育逻辑工具的程序套件。现在，套件中唯一的工作程序是 Tautologica 模型编辑器。