logic-of-programs-hoare

Name: logic-of-programs-hoare
Author: JonatanGS777

SKILLFlusso di lavorocommunity

v0.0.0JonatanGS777MITAggiornato 6 mesi faFonte →

Uses Hoare-style reasoning and contracts for program correctness and safety.

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

Uses Hoare-style reasoning and contracts for program correctness and safety.

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.