FORGE
Registre
Soumettre
Suivi
CLI
Spécification
Spécification de confiance
À propos
Français
Light
Dark
← Retour au registre
Partager
logic-proof-strategies
SKILL
Workflow
communauté
v0.0.0
JonatanGS777
MIT
Mis à jour il y a 4 mois
Source →
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 →
7
Étoiles du dépôt
1
Clients
1
Formats
il y a 4 mois
Dernière mise à jour
Vue d’ensemble
Installation
Installation
Skill
Auteur
JonatanGS777
Version
0.0.0
Licence
MIT
Catégorie
Workflow
Formats
skill.md
Prompt
Non publié
Compatibilité
Claude
✓ Pris en charge
Cursor
—
Copilot
—
ChatGPT
—
Gemini
—
À propos
Uses direct proof, contraposition, contradiction, and constructive proof techniques.
Mots-clés
skill
claude