Verify and write proofs using the Acorn theorem prover for mathematical and cryptographic formalization.
openclaw install @flyingnobita/acorn-prover