axiomatic-semantics
CommunityProve program correctness with logic.
Authorrainoftime
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This Skill addresses the challenge of formally verifying program correctness by defining program meaning through logical assertions and proof rules, primarily using Hoare logic.
Core Features & Use Cases
- Formal Verification: Prove that programs meet their specifications.
- Specification: Define precise pre- and post-conditions for program segments.
- Use Case: Ensuring a critical sorting algorithm always produces a correctly sorted list, regardless of input.
Quick Start
Use the axiomatic-semantics skill to define the weakest precondition for the given code snippet and assertion.
Dependency Matrix
Required Modules
hoare-logic-verifierseparation-logician
Components
referencesscripts
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: axiomatic-semantics Download link: https://github.com/rainoftime/pl-skills/archive/main.zip#axiomatic-semantics Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.