flyingnobita

Acorn 定理证明器专用工具，支持数学与密码学形式化验证，通过 .ac 文件编写并自动验证严格形式化证明，适用于高可信度数学协议开发。

基于 Acorn 定理证明器，为数学和密码学协议提供严格的形式化验证能力，确保代码与数学证明的绝对正确性。