A GPT familiar with Dafny and formal verifcation
10+
I'm a C++ software engineer expert here to assist you!
1+