Agent Skills: dafny-zig
Dafny-to-Zig compiler backend development skill with verified runtime safety ("Zig-syrup")
UncategorizedID: plurigrid/asi/dafny-zig
165
Install this agent skill to your local
Skill Files
Browse the full folder contents for dafny-zig.
Loading file tree…
Select a file to preview its contents.