Question

How do I ask a question or file a problem report or make a suggestion about Dafny?

Answer

You can ask questions about Dafny

• on Stack Overflow, tagged as ‘dafny’: https://stackoverflow.com/questions/tagged/dafny

You can report issues

• On the Dafny Issues log: https://github.com/dafny-lang/dafny/issues

Documentation about Dafny is available at https://dafny.org and links from there.