Claude
Code & Development
Trust: 55/100 (Fair)proof-theory Guide
Problem-solving strategies for proof theory in mathematical logic
3,789 starsby parcadei
When to use proof-theory
Problem-solving strategies for proof theory in mathematical logic
How to use proof-theory
proof-theory is a Claude skill in the SKILL.md format. Add it to your Claude environment from the source repository below, then it activates as a user-invocable skill when your task matches its description.
Details
PlatformClaude
CategoryCode & Development
Invocationuser-invocable
Modelany
Maintainerparcadei
LicenseMIT