Dafny
Dafny programming language for verification and reliability
Start a project
Interested in working together? We should queue up a time to chat. I'll buy the coffee.
Let's do thisInterested in working together? We should queue up a time to chat. I'll buy the coffee.
Let's do this