项目描述 ：
A web-based graphical proof assistant for LK and Hoare logic.

高级语言： JavaScript

项目主页： https://joom.github.io/proof-tree-builder/src/

项目地址: git://github.com/joom/proof-tree-builder.git

创建时间： 2018-11-13T16:16:34Z
项目社区：https://github.com/joom/proof-tree-builder
开源协议：MIT License
下载