logic-predicate-quantifiers

Name: logic-predicate-quantifiers
Author: JonatanGS777

SKILLFlusso di lavorocommunity

v0.0.0JonatanGS777MITAggiornato 6 mesi faFonte →

Applies first-order logic with quantifiers, domains, and formally scoped predicates.

Community-submitted skill. Not yet reviewed by the Forge team. Full prompt content may not be available.Request review →

7Stelle del repo

1Client

1Formati

6 mesi faUltimo aggiornamento

Skill

AutoreJonatanGS777

Versione0.0.0

LicenzaMIT

CategoriaFlusso di lavoro

Formatiskill.md

PromptNon pubblicato

Compatibilità

Claude✓ Supportato

Cursor—

Copilot—

ChatGPT—

Gemini—

Descrizione

Applies first-order logic with quantifiers, domains, and formally scoped predicates.

Parole chiave

skillclaude

Nessuna copertura delle dipendenze

Questa voce non pubblica alcun pacchetto npm, quindi Forge non ha un albero delle dipendenze per essa. È una lacuna di copertura, non l'affermazione che non abbia dipendenze.