🤖
Acorn Prover
使用 Acorn 定理证明器验证和编写证明，用于数学和密码学形式化。 在使用 Acorn 证明文件 (.ac)、验证定理、形式化数学或密码学协议或使用 Acorn 语言编写证明时使用。 在以下情况下触发：（1）创建或编辑
安全通过
如何使用「Acorn Prover」？
- 打开小龙虾AI（Web 或 iOS App）
- 点击上方「立即使用」按钮，或在对话框中输入任务描述
- 小龙虾AI 会自动匹配并调用「Acorn Prover」技能完成任务
- 结果即时呈现，支持继续对话优化