Explicate

•published 2026/01/22

Expand the valid but complicated proofs in a module to have more detailed steps, so that they are reprovable.

Install directly with the `skills` CLI.

npx skills add acornprover/acornlib/.claude/skills/explicate

Download only this skill directory.

File Explorer

0 files

No file selected

readonly

Select a file to view its content