Xedge pithosnd 返回
项目作者： adamdejl

项目描述 ：
Web-based natural deduction proof assistant
高级语言： JavaScript
项目地址: git://github.com/adamdejl/pithosnd.git
创建时间： 2019-07-05T13:39:51Z
项目社区：https://github.com/adamdejl/pithosnd
开源协议：GNU Affero General Public License v3.0
下载