Agent Skills: dafny-formal-verification
Formally verified SPI colors, Galois connections, and p-adic number theory in Dafny
UncategorizedID: plurigrid/asi/dafny-formal-verification
165
Install this agent skill to your local
Skill Files
Browse the full folder contents for dafny-formal-verification.
Loading file tree…
Select a file to preview its contents.