-
hooo
带有指数的命题逻辑
-
lsts
大规模类型系统
-
poi
一种实用的无点定理证明助手
-
prop
Rust中带类型的命题逻辑
-
sepax2d
使用分离轴定理查找和解决二维凸形状碰撞的安全包
-
monotonic_solver
一个易于与Rust枚举表达式一起使用的单调求解器
-
metamath-rs
操作Metamath数据库，包括Metamath数据库的并行和增量验证器
-
mm0_util
MM0/MM1语言工具
-
graph_solver
无向图节点和边颜色的约束求解器
-
reachability_solver
方向边的线性可达性求解器
-
last_order_logic
一种实验性的逻辑语言
-
caso
交换图范畴理论求解器
-
mm0b_parser
Metamath Zero的MMB二进制格式的解析工具
-
linear_solver
一个线性求解器，旨在与Rust枚举表达式易于使用
-
debug_sat
一个用于布尔可满足性问题的（SAT）可调试自动定理证明器
-
path_semantics_std
使用约束函数实现的路径语义标准字典的类型检查实现
-
circle-packer
实现了一个圆排列算法：https://en.wikipedia.org/wiki/Circle_packing_theorem
-
departed
使用已故证明的幽灵技术提供了一些依赖类型的好处
-
pytha_calc
命令行毕达哥拉斯定理计算器
-
tsum_calc
命令行三角形求和定理计算器
-
pythagoras
定理
-
qip-macros
QIP的进程式宏
尝试使用DuckDuckGo搜索搜索。