back
loading skill details...
Formal theorem proving with research, testing, and verification phases
/prove - Machine-Verified Proofs (5-Phase Workflow) For mathematicians who want verified proofs without learning Lean syntax. Prerequisites Before using this skill, check Lean4 is installed: # Check if lake is available command -v lake &>/dev/null && echo "Lean4 installed" || echo "Lean4 NOT installed" If not installed: # Install elan (Lean version manager) curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh
don't have the plugin yet? install it then click "run inline in claude" again.