Eth2.0 spec in Dafny
Why do you think that https://github.com/ethereum/annotated-spec is a good alternative to eth2.0-dafny
Eth2.0 spec in Dafny
Why do you think that https://github.com/ethereum/annotated-spec is a good alternative to eth2.0-dafny