### dafny

Why this trivial hint is required?

Dafny context modifies clause error

Dafny function returning a set of points

Dafny: how to use both quantifiers together

Trivial Assertions about Sets not Verifying in Dafny

xbuild dafny on Linux CS0518 error

Dafny matrix multiplication proof

Dafny verification - refer to original var in post condition

Strange (?) result from the BVD for a Dafny program

Which versions Visual Studio can support the Dafny IDE plugin?

Given several axioms and a property, how do I structure a proof of the property?

Dafny predicate neither true nor false

summing a list of numbers in dafny

Dafny quantifier not instantiated helpfully when faced with test data

Why does using new in a Dafny function give an error?

Can Dafny be used non-interactively, for example from a python program?

How do I represent a pair (two tuple) in Dafny?

### Related Links

Why this trivial hint is required?

Dafny context modifies clause error

Dafny function returning a set of points

Dafny: how to use both quantifiers together

Dafny: types with contraints

Trivial Assertions about Sets not Verifying in Dafny

xbuild dafny on Linux CS0518 error

Dafny matrix multiplication proof

Dafny verification - refer to original var in post condition

Strange (?) result from the BVD for a Dafny program

Which versions Visual Studio can support the Dafny IDE plugin?

Given several axioms and a property, how do I structure a proof of the property?

Dafny predicate neither true nor false

summing a list of numbers in dafny

Dafny quantifier not instantiated helpfully when faced with test data

Why does using new in a Dafny function give an error?