LogoClawIndex
CasesSkillsAbout
LogoClawIndex

ClawIndex

OpenClaw Skills & Use Case Index

ClawIndex is an ecosystem-driven index of OpenClaw skills and real-world use cases.

Index

Skills·
Cases

Meta

About·
Disclaimer·
Email·
GitHub
© 2026 ClawIndex All Rights Reserved.

Skills with input: Lean 4 proof goals

Browse skills that use this input.

  • lean-fuel-induction - Lean 4 fuel induction and loop invariant proofs
    Lean 4theorem provingfuel inductionloop invariants

    ★ 1 · Updated 2026-09-28

    Provides patterns for proving fuel independence, loop invariants, suffix invariance, recursive function properties, and Lean proof resource tuning.

    ⚙ Prove fuel independence⚙ Prove loop invariants⚙ Thread state invariants