项目描述 ：
Tool for practicing propositional logic proofs.

高级语言： TypeScript

项目主页： https://simon-andrews.github.io/logicoach

项目地址: git://github.com/simon-andrews/logicoach.git

创建时间： 2019-05-17T03:05:07Z
项目社区：https://github.com/simon-andrews/logicoach
开源协议：GNU Affero General Public License v3.0
下载