Lib.rs

› 关键词 #逻辑 #证明器 #定理证明器 #求解器 #函数 #一阶逻辑

第一阶

  1. pocket_prover

    一个快速、暴力、自动的一阶逻辑定理证明器

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

  2. pocket_prover-set

    为PocketProver推理集合属性的基础逻辑系统

    v0.5.0 #prover #logic #first-order #solver

  3. logru

    一个小型、可嵌入且快速的Prolog子集解释器

    v0.2.0 #prolog #logic-programming #first-order-logic #first-order

  4. adroit

    在包含数组和代数类型的一阶SSA函数上的AD

    v0.1.0 #arrays #ad #first-order #algebraic #types #functions #ssa

  5. cop

    高度高效的一阶连接证明

    v0.2.0 #first-order #prover #theorem-prover #logic

  6. defunctionalize

    作为模块的proc-macro的函数去功能化

    v0.2.0 #proc-macro #higher-order #first-order #functions #module #defunctionalization #techniques

  7. razor-fol

    一阶理论的解析和句法操作

    v0.1.0 #razor #first-order #parser #geometric #logic

  8. foliage

    具有整数算术的一阶逻辑的抽象语法树

    v0.1.0 #integer-arithmetic #logic #first-order #syntax-tree #abstract #ast #formulas

  9. first_order_logic

    一阶逻辑

    v0.1.0 #first-order #logical #forms #logic #predicate #graph #syntax

  10. moo-math

    数学解释器

    v0.1.1 #math #runge-kutta #interpreter #equation #differential #first-order #moo

  11. meancop

    更高效的、尽管不是lean的连接证明器

    v0.2.0 #theorem-prover #prover #first-order #logic

    12. 尝试使用DuckDuckGo进行搜索。[搜索]

  12. pocket_prover-derive

    为pocket_prover推导过程宏

    v0.8.0 #prover #logic #first-order #solver #proc-macro