Lib.rs
› 关键词
#
dependent-types
#
lfsc
#
smt
#
type-checker
#
drat
#
dpr
#
clausal
#proof-checker
关键词
搜索
rlfsc
LFSC证明语言的检查器
v
0.2.2
#
smt
#
type-checker
#
lfsc
#
dependent-types
#
proof-checker
rate-proof-utils
子句证明（DRAT，DPR）
v
0.3.0
#
proof
#
drat
#
dpr
#
clausal
#
checker
#
proof-checker