Dafny seems really interesting in its own right but every time I come across it I just want the story of its... logo? crest? mascot? https://dafny.org/images/da

Dafny seems really interesting in its own right but every time I come across it I just want the story of its... logo? crest? mascot? https://dafny.org/images/dafny-logo.jpg https://dafny.org/images/dafny-logo.jpg