Lib.rs

› 关键词 #specification #logic #specification-language #solver #language #prusti

formal

  1. airlang

    Air编程语言

    v0.5.0 300 #specification-language #specification #logic #solver #formal #language

  2. syn-args

    解析函数参数

    v0.2.1 #syn #def #parser #args #ident #array #formal

  3. airlang_bin

    Air编程语言

    v0.5.0 380 #logic #specification #specification-language #solver #language #formal

  4. propositional

    逻辑

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

  5. prusti-contracts

    使用Prusti指定合约的工具

    v0.2.0 #verification #prusti #specification #contracts #formal-verification #formal #proc-macro

  6. airlang_ext

    Air编程语言的扩展

    v0.5.0 220 #specification #formal #system-interface #solver #operating-system #specification-language #logic

  7. prusti-std

    Prusti的std项的外部规范

    v0.2.0 #specification #verification #contracts #prusti #specifications #formal

  8. formal-cli

    Formal编程语言的CLI

    v0.1.0 #wasm #formal #programming-language

    9. 尝试使用DuckDuckGo搜索。

  9. ppg

    命令行密码生成器

    v0.4.0 #passphrase-generator #word #command-line #generate #word-list #formal #random

  10. formal

    编程语言工具链

    v0.1.0 #programming-language #toolchain #wasm

  11. formal-rt

    Formal编程语言的运行时

    v0.1.0 #wasm #run-time #formal #programming-language

  12. differential-formula

    使用逻辑编程和分析进行增量形式建模

    v0.1.1 #logic-programming #modeling #analysis #incremental #formal

  13. formality

    一种具有形式证明功能的高效编程语言

    v0.1.11 #编程语言 #证明 #形式 #变量 #数据 #编译器 #特性

  14. finiteelement_macros

    创建定义实现FiniteElement类型的过程宏

    v0.1.0 #过程宏 #定义 #finite-element #traits #弹簧 #过程 #形式

  15. formal_spec

    用于编写Rust代码形式规范的工具

    v0.0.1 #形式 #规范 #spec