Lib.rs

› 关键字 #逻辑 #逻辑的 #真理 #命题 #公式 #陈述 #功能

提案

  1. puan-pv

    实现了评估功能的命题逻辑语句

    v0.1.4 #逻辑 #评估 #逻辑的 #系统 #命题 #命题的 #功能

  2. 提案

    逻辑

    v0.1.0-alpha.2 #逻辑 #命题逻辑 #人工智能 #逻辑的 #真理 #推理 #形式的

  3. refl

    refl 编码，您可以使用它来提供一个证明见证，表明一种类型与另一种类型等价（相同）。您可以使用它来编码 Haskell 中 GADTs 允许您编码的子集

    v0.2.1 1.0K #等价 #类型级 #命题

  4. raa_tt

    证明命题演算的句子

    v0.4.1 #演算 #命题 #句子 #逻辑 #证明器 #真理 #语法

  5. sat-rs

    用 Rust 编写的 SAT 求解器

    v0.0.3 #sat-solver #文字 #命题 #可满足性 #公式 #符号 #问题

  6. logik

    命题逻辑公式的计算器

    v0.1.0 #逻辑 #计算器 #公式 #命题

  7. propositional_logic

    生成复合命题的真值表

    v0.2.0 #逻辑 #表 #复合 #命题 #真理 #生成 #命题

  8. prop_tune

    简化与命题陈述的工作

    v0.2.0 #陈述 #命题 #逻辑

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

  9. mini-prop

    一个轻量级的 CLI，用于解析和分析命题陈述

    v0.2.0 #陈述 #latex #解析器 #分析 #命题 #文件 #分析

  10. propositional-tableau-solver-rs

    命题公式的命题表求解器

    v0.1.0 #公式 #命题 #求解器 #表 #可满足性 #输入 #html

  11. 逻辑

    命题逻辑

    v0.1.0 #logic #propositional

  12. prop_tune_core

    简化与命题陈述的工作

    v0.2.0 #statement #propositional #proposition