Acorn Prover
作者：@flyingnobita
⬇️ 下载量：1.4K
⭐ 收藏量：1
版本：v1 v
OpenClaw的Acorn Prover-技能（skill）的描述
使用Acorn定理证明器验证和编写用于数学及密码学形式化的证明。在处理Acorn证明文件（.ac）、验证定理、形式化数学或密码学协议，或用Acorn语言编写证明时使用。触发条件：（1）创建或编辑.ac文件，（2）运行acorn verify命令，（3）形式化数学或密码学证明，（4）关于Acorn语法或标准库的问题。
OpenClaw's Acorn Prover skill
Verify and write proofs using the Acorn theorem prover for mathematical and cryptographic formalization. Use when working with Acorn proof files (.ac), verifying theorems, formalizing mathematical or cryptographic protocols, or writing proofs in the Acorn language. Triggers on: (1) Creating or editing .ac files, (2) Running acorn verify commands, (3) Formalizing math or crypto proofs, (4) Questions about Acorn syntax or standard library.
安装 Acorn Prover 技能
将下面的AI引导词，复制到您的openClaw对话中，发送给大龙虾，即可安装该技能
请先检查是否已安装 SkillHub 商店，若未安装，请根据 http://openclawweb.cn/skillhub.md 安装Skillhub商店，但是只安装CLI，然后安装 Acorn Prover 技能。