How do I ask a question or file a problem report or make a suggestion about Dafny?
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.