About this app
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
🔌
需要 ClawBox 硬件
在您自己的 AI 硬件上本地运行 Acorn Prover — 私密、快速、无需云端。
