proof-theory
Problem-solving strategies for proof theory in mathematical logic
- Industry
- writing
- License
- Unverified
- Source repo
- parcadei/Continuous-Claude-v3 · ★ 3,865
- Source file
- .claude/skills/math/mathematical-logic/proof-theory/SKILL.md
不会安装?看中文图文教程 →