billlwhite/ledgertheory

67 best points · 4 comments · 1 Hacker News post · View on GitHub

Hacker News discussions

• A Coq development of a theory of lightweight cryptographic ledgers (67 points, 4 comments, by kushti, 2015-02-09)