Home

Welcome to the Dafny wiki!

This Wiki contains specific and in-depth information on working with Dafny.

Make sure to check out the Dafny tutorial for a more general introduction to Dafny.

Using Dafny

Setup

• INSTALL
• Disabling underlining of info messages

Best practices

• Style Guide
• Cautionary Tales

How-tos

• FAQ
• Proving termination by decreasing Repr
• Modeling External State Correctly
• Investigating slow verification performance
• Proving properties about integers and bit vectors together

Developing the Dafny tool

• Running Dafny's test suite
• Writing and previewing user-facing web pages
• JetBrains Rider FAQ
• Building against a custom Boogie
• Contributing FAQ