runtimeverification/beacon-chain-spec

Formalization of the Beacon Chain Phase 0 Specification in K

语言：TeX · GitHub 星标：21 · Fork：3

在 GitHub 上查看原仓库