Lib
.rs
›
#
derivation
#
tree
#
describing
#
proof
derivation
_
tree
描述推导树的实用工具
所有者
David Pearce
。
安装
API参考
GitHub仓库
(
davepearce
)
1个不稳定版本
0.1.0
2023年8月14日
#
12
在
#describing
Apache-2.0
10KB
142
行
DerivationTree
描述证明推导的实用工具。
无运行时依赖