首頁
PC軟體
Mac軟體
Linux軟體
Android App
iOS App
提交軟體
開發者 tautologica.sf.net
Tautologica Logic Suite
免費
教育邏輯工具的程式套件。現在，套件中唯一的工作程式是 Tautologica 模型編輯器。
