domains / science / formal-verification / lean4-theorem-proving
Skill card
separate
This skill name occurs once, so it stays a separate skill.
tasks/lean4-proof/environment/skills/lean4-theorem-proving/SKILL.md