Lib.rs

› 关键词 #定理 #证明 #定理证明器 #研究 #高级研究

#prop

  1. prop

    Rust中的带类型命题逻辑

    v0.47.0 #逻辑 #定理证明器 #定理 #证明 #高级研究 #构造 #研究

  2. spinne

    一个命令行工具，用于分析您的项目代码并查找有关prop使用和其他设计系统分析的信息

    v0.1.0 #信息 #查找 #prop #分析 #系统 #设计 #分析

  3. cdragon-prop

    与Riot使用的BIN文件一起工作

    v0.2.0 #bin #prop #cdragon

  4. pipewire-wrapper-macro-impl

    pipewire-wrapper crate的属性和prop宏实现

    v0.1.2 #pipe-wire #pipewire-wrapper #属性 #API #prop #宏

  5. neural_network

    具有反向传播学习算法实现的模块化神经网络

    v0.1.3 #模块化 #神经网络 #AI #反向 #学习 #传播 #prop

    6. 尝试使用DuckDuckGo搜索搜索。

  6. pipewire-wrapper-proc-macro

    pipewire-wrapper crate的属性和prop宏声明

    v0.1.2 #pipe-wire #属性 #pipewire-wrapper #prop #声明 #宏 #API

  7. constructivism_macro

    简化结构化数据的构建

    v0.3.0 #构造 #构造主义 #宏 #prop #构建 #结构化 #数据

  8. near-prop

    使用workspaces-rs的NEAR基于属性的测试库

    v0.1.0 #NEAR #prop #测试 #属性 #属性测试 #workspaces-rs

  9. near-prop-macros

    near-prop测试库的宏

    v0.1.0 #NEAR #prop #测试 #宏