↧
Updated Wiki: Home
Dafny Dafny is a programming language with a program verifier. As you type in your program, the verifier constantly looks over your shoulders and flags any errors. Dafny has moved to GitHub.
View Article