logic-of-programs-hoare

SKILLWorkflowcommunity
v0.0.0JonatanGS777MITUpdated 4mo agoSource →

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 →
7Repo stars
1Clients
1Formats
4mo agoLast update
Skill
AuthorJonatanGS777
Version0.0.0
LicenseMIT
CategoryWorkflow
Formatsskill.md
PromptNot published
Compatibility
Claude✓ Supported
Cursor—
Copilot—
ChatGPT—
Gemini—
About

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

Keywords
skillclaude