dafny (homebrew): Verification-aware programming language
Keywords: programming-language|verification