predicate-logic
Skillby vibeeval
Problem-solving strategies for predicate logic in mathematical logic
Details
- Path
- skills/math/mathematical-logic/predicate-logic/SKILL.md
- Allowed tools
- 2
Allowed tools
BashRead
Problem-solving strategies for predicate logic in mathematical logic