We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Emacs support for dafny is provided by the boogie-friends package, available from MELPA. See https://github.com/boogie-org/boogie-friends for setup instructions and tips.