Lib.rs
› 关键词
#
dependent-types
#
smt
#
type-checker
#
proof-checker
#lfsc
关键词
搜索
rlfsc
LFSC证明语言的检查器
v
0.2.2
#
smt
#
type-checker
#
lfsc
#
dependent-types
#
proof-checker