精益数学组件库
随机计算图上的无缺陷机器学习
精益定理验证器
一种面向证明的编程语言
可验证的二进制解析器、消息生成器和协议状态机的正式规范和生成
Coq是一个形式化证明管理系统。它提供了一种形式化的语言来编写数学定义、可执行的算法和定理，以及一个半交互式的开发机器检查证明的环境。
SPARK by Example是对ACSL by Example的改编，用于SPARK 2014，这是一种编程语言，是Ada的一个形式上...
一种依赖类型的证明语言，旨在为工作中的软件工程师提供可证明正确的裸机代码。
GitHub Action 学习实例 - 自动编译 padavan 和 openWrt
基于Symfony和Vuetify的敏捷网络开发的精简框架栈
一键多编译固件