Acorn Prover

关于这个 Skill

使用 Acorn 定理证明器进行数学和密码学形式化的验证与证明编写。适用于处理 Acorn 证明文件 (.ac)、验证定理、形式化数学或密码学协议，或使用 Acorn 语言编写证明。触发条件：(1) 创建或编辑 .ac 文件，(2) 运行 acorn verify 命令，(3) 形式化数学或密码学证明，(4) 询问 Acorn 语法或标准库相关问题。