proof-theory
parcadei/Continuous-Claude-v3/.claude/skills/math/mathematical-logic/proof-theory
PlatformClaude Code
Problem-solving strategies for proof theory in mathematical logic
Claude Code
parcadei/Continuous-Claude-v3/.claude/skills/math/mathematical-logic/proof-theory
Problem-solving strategies for proof theory in mathematical logic