domains / software-engineering / proof-assistant-memory / lean4-memories
Skill card
separate
This skill name occurs once, so it stays a separate skill.
tasks/lean4-proof/environment/skills/lean4-memories/SKILL.md