logic-proof-strategies

SKILLFlusso di lavorocommunity
v0.0.0JonatanGS777MITAggiornato 4 mesi faFonte →

Uses direct proof, contraposition, contradiction, and constructive proof techniques.

Community-submitted skill. Not yet reviewed by the Forge team. Full prompt content may not be available.Request review →
7Stelle del repo
1Client
1Formati
4 mesi faUltimo aggiornamento
Skill
AutoreJonatanGS777
Versione0.0.0
LicenzaMIT
CategoriaFlusso di lavoro
Formatiskill.md
PromptNon pubblicato
Compatibilità
Claude✓ Supportato
Cursor
Copilot
ChatGPT
Gemini
Descrizione

Uses direct proof, contraposition, contradiction, and constructive proof techniques.

Parole chiave
skillclaude