A minimalistic blockchain consensus implemented and verified in Coqgithub.com3 points·fossislife··0 commentsOpen articleSaveView on HN