SKILL

{{ frontmatter(name="move-prove", description="Run the Move Prover to formally verify specifications") }}

{% include "templates/move_lang.md" %} {% include "templates/status_tool.md" %} {% include "templates/spec_lang.md" %} {% include "templates/spec_editing_workflow.md" %} {% include "templates/verification_workflow.md" %}

Task

Run the Move Prover to verify the current package.