minisskills

acorn-proverready to install

Verify and write proofs using the Acorn theorem prover for mathematical and cryptographic formalization.

SKILL.md

from the package
Loading SKILL.md…
acorn-prover · minisskills