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 at https://rise4fun.com/Dafny/tutorial/Guide for a more general introduction to Dafny.

Setup

• INSTALL

Best practices

• Style Guide

How-tos

• FAQ
• Proving termination by decreasing Repr
• Investigating slow verification performance

Development of the Dafny tool

• Running Dafny's test suite
• JetBrains Rider FAQ