arxiv-2604.22601-nl2vc-60.md

Dafny-based formal verification from natural language