predicate-logic
Problem-solving strategies for predicate logic in mathematical logic
Also installable via skills CLI
npx skills add scooter-lacroix/Maestro/maestro/skills/math/math/mathematical-logic/predicate-logic
Source
Path:
maestro/skills/math/math/mathematical-logic/predicate-logic/SKILL.md(main)