Lib.rs

› 关键词 #proving #advanced-research #assistant #solver #logic #exponential

#theorem-prover

  1. hooo

    带指数的命题逻辑

    v0.6.1 230 #theorem-prover #exponential #proving #theorem #advanced-research #assistant #exponentials

  2. poi

    一个实用型的无点定理证明助手

    v0.24.0 #theorem-prover #theorem #assistant #proving #point-free #advanced-research #knowledge-base

  3. pocket_prover

    一种快速的、穷举的、一阶逻辑的自动定理证明器

    v0.17.0 #first-order #theorem-prover #logic #prover #solver

  4. prop

    Rust中的带有类型的命题逻辑

    v0.47.0 #logic #theorem-prover #theorem #proving #advanced-research #constructive #research

  5. monotonic_solver

    一个易于与Rust枚举表达式一起使用的单调求解器

    v0.5.0 #theorem-prover #solver #monotonic #theorem #reasoning #artificial-intelligence #proving

  6. avatar_graph

    Avatar 图

    v0.6.3 #graph #avatar #graph-node #math #semantics #advanced-research #theorem-prover

  7. metamath-rs

    操作Metamath数据库，包括Metamath数据库的并行和增量验证器

    v0.3.8 #proof #verifier #theorem #proving #assistant #theorem-prover

  8. kontroli

    lambda-Pi演算的模Rewriting的类型检查

    v0.4.0 #rewriting #verification #dedukti #type-checking #theorem-prover #dependent-types

  9. mm0_util

    MM0/MM1语言工具

    v0.1.4 #proving #theorem #language-server #theorem-prover #proof #assistant #utilities

  10. graph_solver

    无向图约束求解器，用于节点和边颜色

    v0.4.0 #undirected-graph #graph #graph-theory #solver #theory #theorem #theorem-prover

  11. reachability_solver

    用于方向边的线性可达性求解器

    v0.2.0 #求解器 #线性求解器 #定理 #证明 #可达性 #推理 #定理证明器

  12. last_order_logic

    一个实验性的逻辑语言

    v0.2.0 #定理证明器 #逻辑 #定理 #证明 #lol #高级研究

  13. caso

    交换图求解器的范畴论

    v0.2.2 #范畴论 #范畴 #定理证明器 #定理 #高级研究 #证明 #助手

  14. mm0b_parser

    用于Metamath Zero的MMB二进制格式的解析工具

    v0.1.4 #定理证明器 #visual-studio #证明 #定理 #助手 #证明 #二进制格式

  15. linear_solver

    一个设计为易于与Rust枚举表达式一起使用的线性求解器

    v0.2.2 #求解器 #定理证明器 #线性 #证明 #定理 #推理

  16. debug_sat

    一个可调试的布尔可满足性问题（SAT）的自动定理证明器

    v0.4.0 #定理证明器 #sat #定理 #调试 #自动化 #证明

  17. path_semantics_std

    使用约束函数实现的路径语义标准字典的类型检查实现

    v0.1.0 #路径 #语义 #证明 #定理证明器 #高级研究 #研究

  18. cop

    高度有效的一阶连接证明

    v0.2.0 #一阶 #证明器 #定理证明器 #逻辑

    19. 尝试使用DuckDuckGo进行搜索。搜索.

  19. meancop

    更高效的，尽管不是Lean连接证明

    v0.2.0 #定理证明器 #证明器 #一阶 #逻辑