We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Fix link to z3-4.12.1 release
Updated INSTALL (markdown)
https://github.com/dafny-lang/dafny/issues/3876
Replace Z3 4.8.5 with 4.12.1
Describe macOS dependencies for `quicktest.sh`
Update macOS installation instructions
Add notes on installing from NuGet
Update instructions to use .Net 6.0
Mention `use-local-boogie.sh` in the "Build against a custom Boogie" section
Bump `dotnet` when building from source