Agent Skills: moonbit-proof
Use when writing or refactoring proof-carrying code in MoonBit, especially for Why3-backed specifications, abstraction functions, representation invariants, proof assertions, recursive verified data structures, or reducing trusted proof bridges.
UncategorizedID: moonbitlang/moonbit-agent-guide/moonbit-proof
7311
Install this agent skill to your local
Skill Files
Browse the full folder contents for moonbit-proof.
Loading file tree…
Select a file to preview its contents.