---
title: 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](https://stackoverflow.com/questions/tagged/dafny)

You can report issues
- On the Dafny Issues log: [https://github.com/dafny-lang/dafny/issues](https://github.com/dafny-lang/dafny/issues)

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