proof-theory
Installation
SKILL.md
Proof Theory
When to Use
Use this skill when working on proof-theory problems in mathematical logic.
Decision Tree
- Proof Strategy Selection
- Direct proof: assume premises, derive conclusion
- Proof by contradiction: assume negation, derive false
- Proof by cases: split on disjunction
- Induction: base case + inductive step