Eth2.0 specs: formal verification using Dafny.

Online · 13 May 2020

Hosted by Ethereum Engineering Group.

0 talks