proof-theory
Problem-solving strategies for proof theory in mathematical logic
Packaged view
This page reorganizes the original catalog entry around fit, installability, and workflow context first. The original raw source lives below.
Install command
npx @skill-hub/cli install parcadei-continuous-claude-v3-proof-theory
Repository
Skill path: .claude/skills/math/mathematical-logic/proof-theory
Problem-solving strategies for proof theory in mathematical logic
Open repositoryBest for
Primary workflow: Ship Full Stack.
Technical facets: Full Stack.
Target audience: Development teams looking for install-ready agent workflows..
License: Unknown.
Original source
Catalog source: SkillHub Club.
Repository owner: parcadei.
This is still a mirrored public skill entry. Review the repository before installing into production workflows.
What it helps with
- Install proof-theory into Claude Code, Codex CLI, Gemini CLI, or OpenCode workflows
- Review https://github.com/parcadei/Continuous-Claude-v3 before adding proof-theory to shared team environments
- Use proof-theory for development workflows
Works across
Favorites: 0.
Sub-skills: 0.
Aggregator: No.