Lib
.rs
›
#
problem
#
theorem
#
thousands
#
proving
#
automated
#
theorem-prover
#
provers
yanked
libtptp
由
所有者
Philipp Paulweber
.
GitHub 仓库
(
casm-lang
)
主页 (casm-lang.org)
1 个不稳定版本
0.0.0
2022年4月1日
#
10
in
#thousands
自定义许可
15KB
定理证明器（TPTP）的数千个问题库
无运行时依赖