proof-theory
Skillby majiayu000
Problem-solving strategies for proof theory in mathematical logic
Details
- Path
- skills/analysis/proof-theory-namesreallyblank-clorch-39665a56/SKILL.md
- Allowed tools
- 2
Allowed tools
BashRead
Problem-solving strategies for proof theory in mathematical logic