A
Acorn Prover
0
⬇️ 下载量
98,145
⭐ 收藏
0
📦 安装量
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.
🔧 安装方式
复制提示词，发送给任意 AI 助手即可安装 Skill，包括但不限于 Lighthouse OpenClaw、WorkBuddy、QClaw、Kimi、Claude 等
请先检查是否已安装 SkillHub 商店，若未安装，请根据 https://skillhub.cn/install/skillhub.md 安装 Skillhub 商店，然后安装 Acorn Prover 技能。
若已安装，则直接安装 Acorn Prover 技能。
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.