A version of the Tree Interaction tab of the Logicamente tool for teaching Logic.
语言:Java · GitHub 星标:11 · Fork:5
在 GitHub 上查看原仓库