Dafny (programming language)

1. REDIRECT Dafny {{Redirect category shell|

{{R from move}}

{{R from unnecessary disambiguation}}

}}