3 ms·
Code: https://github.com/ConsenSys/eth2.0-dafny https://github.com/ConsenSys/eth2.0-dafny Video : https://www.youtube.com/watch?v=UCSwkUQO_no https://www.youtu
by blopeur 5y ago
Code: https://github.com/ConsenSys/eth2.0-dafny https://github.com/ConsenSys/eth2.0-dafny
Video : https://www.youtube.com/watch?v=UCSwkUQO_no https://www.youtube.com/watch?v=UCSwkUQO_no