Lib.rs

› 关键字 #逻辑 #表格 #命题 #真心话大冒险 #Web服务器 #Discord机器人 #布尔

#truth

  1. fz_tod_r

    Discord真相大冒险机器人的Web服务器

    v1.1.2 #discord-bot #web-server #truth #dare

  2. 命题

    逻辑

    v0.1.0-alpha.2 #logic #propositional-logic #artificial-intelligence #logical #truth #reasoning #formal

  3. raa_tt

    证明命题演算中的句子

    v0.4.1 #calculus #propositional #sentence #logic #prover #truth #grammar

  4. cqrs

    基于事件源命令查询系统

    v0.3.1 #events #aggregate #command #framework #source #separation #truth

  5. propositional_logic

    为复合命题生成真值表

    v0.2.0 #logic #table #compound #proposition #truth #generate #propositional

  6. as_bool

    定义类型如何在布尔上下文中表示

    v0.1.3 #boolean #true #false #truth #context #table #represented

  7. logiclib

    用于时序和组合单元的VLSI编译逻辑库

    v0.2.3 #table #sequential #pin #cell #input #compiled #truth

    8. 尝试使用DuckDuckGo搜索：https://duckduckgo.com/?q=site%3Alib.rs+truth.

  8. models-cv

    使用CG模型为SFM流水线生成基准数据

    v0.1.0 #computer-vision #sfm #models #pipeline #camera #ground #truth

  9. 真值表

    从公式生成真值表

    v0.2.0 #math #cli #table #truth #generate #boolean #formula

  10. batt

    用于输入布尔表达式并打印其真值表的命令行程序

    v0.1.0 #table #boolean #expression #truth #input #print #line

  11. aptos-global-constants-link

    Aptos的全局常量crate：跨越多个crate的常量定义的真相来源

    v0.1.0 #definition #constant #global #aptos #source #truth #key

  12. truth

    v0.0.1 #component #expression #expression-parser #var #ops #operation #negated