数学与密码学定理形式化验证
基于 Acorn 定理证明器，为数学和密码学协议提供严格的形式化验证能力，确保代码与数学证明的绝对正确性。
CLS 安全 A
源可信度 T3
下载 1.4k 安装 441
100%推荐
v1.0.0
flyingnobita
education-research
development-engineering
testing
formal-verification
cryptography
math
security
安装方式
手动下载安装
下载 ZIP 后解压到技能目录即可安装。若在桌面客户端 WebView中直接下载出现异常，本站会改为提示页 + 原始链接，请按页内说明操作。
下载 ZIP (cc-6119-v1.0.0.zip)使用指南
简介
基于 Acorn 定理证明器，为数学和密码学协议提供严格的形式化验证能力，确保代码与数学证明的绝对正确性。