proof-theory

Name: proof-theory
Author: parcadei

SKILLWorkflowcommunity

v0.0.0parcadeiMITUpdated 8mo agoSource →

Problem-solving strategies for proof theory in mathematical logic

Community-submitted skill. Not yet reviewed by the Forge team. Full prompt content may not be available.Request review →

4kRepo stars

1Clients

1Formats

8mo agoLast update

Skill

Authorparcadei

Version0.0.0

LicenseMIT

CategoryWorkflow

Formatsskill.md

PromptOpen (see Prompt tab)

Compatibility

Claude✓ Supported

Cursor—

Copilot—

ChatGPT—

Gemini—

About

Problem-solving strategies for proof theory in mathematical logic

Keywords

skillclaude

No dependency coverage

This entry publishes no npm package, so Forge has no dependency tree for it. That is a gap in coverage — not a statement that it has no dependencies.