prove
parcadei/Continuous-Claude-v3/.claude/skills/prove
PlatformClaude Code
Formal theorem proving with research, testing, and verification phases
Claude Code
parcadei/Continuous-Claude-v3/.claude/skills/prove
Formal theorem proving with research, testing, and verification phases