domains / research / formal-verification / lean-formalize

lean-formalize

Skill card

authentic

Adapter folders in the same repository are variants of one skill.

Repositories

RepositoryPath
wanshuiyin/Auto-claude-code-research-in-sleepskills/lean-formalize/SKILL.md

Other copies

RoleRepositoryPath
adapterwanshuiyin/Auto-claude-code-research-in-sleepskills/skills-codex/lean-formalize/SKILL.md