TopNewBestAskShowJobs
1.
A minimalistic blockchain consensus implemented and verified in Coq (github.com/certichain)
3 points
fossislife
5 years ago
discuss