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 定理证明器验证并撰写数学与密码学形式化证明。适用于处理 Acorn 证明文件（.ac）、验证定理、形式化数学或密码学协议，以及用 Acorn 语言编写证明。触发场景包括：（1）创建或编辑 .ac 文件，（2）运行 acorn verify 命令，（3）形式化数学或密码学证明，（4）关于 Acorn 语法或标准库的问题