Comment Comment by wilde Can Etherium run contracts written in Dafny? This is cool, but it doesn’t guarantee that the Solidity matches the proof at all, does it? parent wilde 5 years ago
