Wow, the Dafny programming language logo is something else.
@neauoire honestly it's kind of great
@d6 I know right, there's no way I could make something so perfect even if I tried for a hundred years
@neauoire honestly it's kind of great