toychain

A minimalistic blockchain consensus implemented and verified in Coq

112 stars

17 watching

12 forks

Language: Coq

last commit: over 4 years ago

blockchainconsensuscoqdistributed-systems