T
📝 描述
An implementation of the semantic tableaux method for classical propositional and predicate logic, written in JavaScript/DOM.
⭐ 用户评价
暂无评价