Lib.rs
› 关键词
#
chase
#
logic
#
geometric
#
razor
#
command-line-tool
#model-finder
关键词
搜索
razor-chase
实现了追逐算法的变体，用于寻找几何形式的定理模型
v
0.1.0
#
razor
#
geometric
#
chase
#
model-finder
#
logic
razor
用于构建一阶理论的有限模型的命令行工具
v
0.1.0
#
chase
#
model-finder
#
command-line-tool
#
logic