Verification of Eth2.0 in DafnyDate: May 13, 2020A youtube video with a presentation on our formal verification of the Eth2.0 specs. Share on Twitter Facebook LinkedIn Previous Next
