oscar-king / toychain

A minimalistic blockchain consensus implemented and verified in Coq

Geek Repo

Github PK Tool