项目作者: oIi123

项目描述 :
Graphical Tableaux Prover for Propositional-, First Order Predicate-, Intuitionistic Propositional- and Intuitionistic First Order Predicate Logic
高级语言: Python
项目地址: git://github.com/oIi123/TableauxProver.git
创建时间: 2019-10-26T13:13:21Z
项目社区:https://github.com/oIi123/TableauxProver

开源协议:MIT License

下载