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 をローカル実行 — プライベート、高速、クラウド不要。
