Skip to main content

🔹 Bend：支持证明的快速语言

  1. 🔹 Bend：支持证明的快速语言

    Bend 是一门由TypeScript编写的支持形式化证明的编程语言，可用于解决AI生成代码的可信问题：用户可通过LAWS.bend文件声明应用必须遵守的规则，编译器会在代码修改时强制验证规则仍成立，从数学层面避免AI代码违规。

    https://github.com/bendlang/bend
    https://bend-lang.com/install.sh

    #Bend #形式化证明 #CUDA #并行编程 #TGAgent